Refinement versus verification. Compatibility of net invariants and stepwise development of high-level Petri Nets /

Saved in:
Bibliographic Details
Main Author: Padberg, J.
Other Authors: Gajewsky, M., Ermel, C.
Format: Book
Language:English
Published: Berlin : Technická univerzita, [1998]
Series:Forschungsberichte des Fachbereichs Informatik Bericht-Nr. 97-22
Subjects:
distribuovaný systém
výskumné správy
Online Access: Get full text
Tags: Add Tag
No Tags, Be the first to tag this record!
Description
Physical Description:43 s. : grafy, lit., obr., tab. ;

Similar Items