Tools and algorithms for the construction and analysis of systems. 8th international conference, TACAS 2002. Held as part of the joint European conferences on theory and practice of software, ETAPS 2002, Grenoble, France, April 8--12, 2002

DOI10.1007/3-540-46002-0zbMath0988.00082OpenAlexW2786926866MaRDI QIDQ1601176

No author found.

Publication date: 19 June 2002

Published in: Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/3-540-46002-0

zbMATH Keywords

ConferenceProceedingsAnalysis of systemsGrenoble (France)TACAS 2002

Mathematics Subject Classification ID

Proceedings of conferences of miscellaneous specific interest (00B25) Proceedings, conferences, collections, etc. pertaining to computer science (68-06) Computer system organization (68Mxx)

Related Items

Enhancing active model learning with equivalence checking using simulation relations