Proceedings of the workshop on logic, models and computer science (LMCS 2006), Camerino, Italy, April 20--22, 2006

MaRDI QIDQ373596zbMATH OpenFDO

Authors

Publication date 17 October 2013

Published in Electronic Notes in Theoretical Computer Science (Search for Journal in Brave)

Full work available at URL http://www.sciencedirect.com/science/journal/15710661/169

Mathematics Subject Classification ID

Proceedings of conferences of miscellaneous specific interest (00B25) Proceedings, conferences, collections, etc. pertaining to computer science (68-06) Logic in computer science (03B70)

Cited in

(3)

• scientific article; zbMATH DE number 5075930 (Why is no real title available?)
• scientific article; zbMATH DE number 5852773 (Why is no real title available?)
• Proceedings of the 1st international workshop on Symbolic model checking (SMC '99), as part of the 2nd federated logic conference (FLoC '99). Trento, Italy, July 6, 1999

This page was built for publication: Proceedings of the workshop on logic, models and computer science (LMCS 2006), Camerino, Italy, April 20--22, 2006

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