Showing 1 - 1 results of 1 for search 'Federated Logic Conference' Refine Results
  1. 1
    Theoretical and practical aspects of SPIN model checking : 5th and 6th International SPIN workshops, Trento, Italy, July 5, 1999, Toulouse, France, September 21 and 24, 1999 : proceedings / Dennis Dams ... [et al.], (eds.).
    Published 1999
    “...Federated Logic Conference...”
    Book
    Save to List
    Saved in:
Search Tools: Get RSS Feed — Email this Search