Title |
Model checking of persistent petri nets / Eike Best ; Javier Esparza. Universität Hildesheim. Hrsg. vom Institut für Informatik |
|---|---|
Involved |
Eike Best (Verfasser) |
Published |
Hildesheim: Inst. für Informatik |
Extent |
22 Bl. : graph. Darst. |
Topic |
|
Series |
Hildesheimer Informatik-Berichte ; 91,11 |
Record ID |
920076114 |
Please note
The beta version does not yet contain all functions and information of the DNB portal catalogue. If you are missing information or want to order a medium, please visit the page in the DNB portal catalogue via the following link: