Schulz, Alexander, HAW Hamburg, Germany
-
Volume 68: Proceedings of the 8th International Workshop on Graph-Based Tools (GraBaTs 2014) - Articles
Towards Model Checking Reconfigurable Petri Nets using Maude
Abstract PDF
Hosted By Universitätsbibliothek TU Berlin.