Parker, David, 1977-
David Parker
Parker, David, 1977-...., informaticien
VIAF ID: 261420610 ( Personal )
Permalink: http://viaf.org/viaf/261420610
Preferred Forms
- 100 0 _ ‡a David Parker
- 100 1 _ ‡a Parker, David ‡d 1977-
- 100 1 _ ‡a Parker, David ‡d 1977-
- 100 1 _ ‡a Parker, David, ‡d 1977-
- 100 1 _ ‡a Parker, David, ‡d 1977-...., ‡c informaticien
4xx's: Alternate Name Forms (3)
5xx's: Related Names (1)
Works
Title | Sources |
---|---|
Formal modeling and analysis of timed systems : 20th International Conference, FORMATS 2022, Warsaw, Poland, September 13-15, 2022, proceedings | |
Model checking software, c2012: | |
Tools and algorithms for the construction and analysis of systems: a special issue for TACAS 2020 |