Tools and algorithms for the construction and analysis of systems. 12th international conference, TACAS 2006, held as part of the joint European conferences on theory and practice of software, ETAPS 2006, Vienna, Austria, March 25 -- April 2, 2006. Procee

DOI10.1007/11691372MaRDI QIDQ855055zbMATH OpenOpenAlexFDO

Authors

Publication date 22 December 2006

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

Full work available at URL https://doi.org/10.1007/11691372

Mathematics Subject Classification ID

Proceedings of conferences of miscellaneous specific interest (00B25) Proceedings, conferences, collections, etc. pertaining to computer science (68-06) Theory of computing (68Qxx)

Cited in

(5)

• Reflections on the future of concurrency theory in general and process calculi in particular
• The HOL-CSP Refinement Toolkit
• HOL-CSP Version 2.0
• A Sound Type System for Physical Quantities, Units, and Measurements
• Microeconomics and the First Welfare Theorem

This page was built for publication: Tools and algorithms for the construction and analysis of systems. 12th international conference, TACAS 2006, held as part of the joint European conferences on theory and practice of software, ETAPS 2006, Vienna, Austria, March 25 -- April 2, 2006. Procee

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q855055)