Proceedings of the workshop on graph transformation for concurrency and verification (GT-VC 2006), Bonn, Germany, August 31, 2006

From MaRDI portal

(Redirected from Proceedings of the workshop on graph transformation for concurrency and verification (GT-VC 2006), Bonn, Germany, August 31, 2006)

Jump to:navigation, search

WARNING: Page is not linked to a MaRDI-Entity. Please add Sitelink / Wikibase-link.

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Proceedings_of_the_workshop_on_graph_transformation_for_concurrency_and_verification_(GT-VC_2006),_Bonn,_Germany,_August_31,_2006&oldid=61412826"