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

DOI10.1007/978-3-030-45190-5zbMath1017.00035OpenAlexW3124330872MaRDI QIDQ1398129

No author found.

Publication date: 29 July 2003

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

Full work available at URL: http://link.springer.de/link/service/series/0558/tocs/t2619.htm

zbMATH Keywords

Analysis of systemsConstruction of systemsWarsaw (Poland)ETAPS 2003TACAS 2003

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 (1)

Abstractions for hybrid systems

This page was built for publication: 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