Tools and algorithms for the construction and analysis of systems. 6th international conference, TACAS 2000. Held as part of the joint European conferences on theory and practice of software, ETAPS 2000, Berlin, Germany, March 25 -- April 2, 2000. Proceed
From MaRDI portal
Publication:1972822
zbMath0935.00048MaRDI QIDQ1972822
No author found.
Publication date: 13 April 2000
Published in: Lecture Notes in Computer Science (Search for Journal in Brave)
AlgorithmsConferenceProceedingsBerlin (Germany)Analysis of systemsConstruction of systemsToolsTACAS 2000
Proceedings of conferences of miscellaneous specific interest (00B25) Proceedings, conferences, collections, etc. pertaining to computer science (68-06)
Related Items