Glück, Roland


Bisimulations and Model Refinements
Glück, Roland

A frequent task in system design is to refine a transition system, i.e. to remove undesired transitions. This ..

ISBN:
978-3-86386-836-9

29,00 € Preis ohne Steuer27,10 €

Zeige 1 bis 1 von 1 (1 Seite(n))