Hatcliff, John, 1966-....
Hatcliff, John
John Mark Hatcliff Ph.D. Kansas State University 1994
VIAF ID: 116901945 ( Personal )
Permalink: http://viaf.org/viaf/116901945
Preferred Forms
- 100 1 _ ‡a Hatcliff, John
-
-
-
- 100 1 _ ‡a Hatcliff, John
-
- 100 1 _ ‡a Hatcliff, John ‡d 1966-
- 100 1 _ ‡a Hatcliff, John, ‡d 1966-
-
-
-
- 100 1 _ ‡a Hatcliff, John, ‡d 1966-....
- 100 0 _ ‡a John Mark Hatcliff ‡c Ph.D. Kansas State University 1994
4xx's: Alternate Name Forms (1)
Works
Title | Sources |
---|---|
ETAPS 2003 | |
FMOODS 2012 | |
Formal methods for open object-based distributed systems | |
Formal techniques for distributed systems : joint 12th IFIP WG 6.1 international conference, FMOODS 2010 and 30th IFIP WG 6.1 international conference, FORTE 2010, Amsterdam, The Netherlands, June 7-9, 2010 : proceedings | |
FORTE 2012 | |
Partial evaluation : practice and theory : DIKU 1998 International Summer School, Copenhagen, Denmark, June 29-July 10, 1998 | |
Tools and algorithms for the construction and analysis of systems : 9th international conference, TACAS 2003, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2003, Warsaw, Poland, April 7-11, 2003 : proceedings |