Proceedings of the workshop on graph transformation for verification and concurrency (GT-VC 2005), San Francisco, CA, USA, August 22, 2005
zbMath1272.68035MaRDI QIDQ371383
No author found.
Publication date: 2 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/154/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) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85) Grammars and rewriting systems (68Q42)
This page was built for publication: Proceedings of the workshop on graph transformation for verification and concurrency (GT-VC 2005), San Francisco, CA, USA, August 22, 2005