Validation of information systems by analyzing partially ordered Petri net processes / von Jörg Desel
Resource type: Ressourcentyp: BuchBookLanguage: English Series: Forschungsberichte / Universität Karlsruhe (TH), Institut für Angewandte Informatik und Formale Beschreibungsverfahren | Universität Karlsruhe. Bericht / Institut für Angewandte Informatik und Formale Beschreibungsverfahren, Universität Karlsruhe ; 375Publisher: Karlsruhe : Inst. für Angewandte Informatik und Formale Beschreibungsverfahren, Univ. Karlsruhe, 1998Description: 18 S. : graph. DarstAction note:- 2
| Item type | Home library | Shelving location | Call number | Status | Barcode | |
|---|---|---|---|---|---|---|
| Magazinbestand ausleihbar | Bibliothek Campus Süd | Geschlossenes Magazin | 2003 B 913 | Available | 46432104090 |
Total holds: 0
Archivierung prüfen 20200919 DE-640 2 pdager