Proceedings of the first workshop on verification of adaptive systems (VerAS 2007), Kaiserslautern, Germany, September 14, 2007

Authors

Publication date 22 November 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/200/2

Proceedings of conferences of miscellaneous specific interest (00B25) Proceedings, conferences, collections, etc. pertaining to computer science (68-06) Specification and verification (program logics, model checking, etc.) (68Q60)

Cited in

(1)

VEPAS 2001. Verification of parameterized systems (satellite workshop of ICALP 2001), Crete, Greece, July 13, 2001. Poceedings

This page was built for publication: Proceedings of the first workshop on verification of adaptive systems (VerAS 2007), Kaiserslautern, Germany, September 14, 2007

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