Spezification and Correct Implementation of Non-Sequential Systems Combining Abstract Data Types and Petri Nets

 
9783486212921: Spezification and Correct Implementation of Non-Sequential Systems Combining Abstract Data Types and Petri Nets