Symbolic execution of concurrent programs using Petri nets: Fid-Bau Portal

Symbolic execution of concurrent programs using Petri nets

Ghezzi, Carlo

Zugriff

Zugriff über TIB

Verfügbarkeit in meiner Bibliothek prüfen

Seitennavigation

Dokumentinformationen

Ähnliche Titel

Exportieren, teilen und zitieren

Symbolic execution of concurrent programs using Petri nets

Ghezzi, Carlo

Symbolic execution of concurrent programs using Petri nets

Ghezzi, Carlo

Zugriff

Zugriff über TIB

Verfügbarkeit in meiner Bibliothek prüfen

Seitennavigation

Dokumentinformationen

Ähnliche Titel

Exportieren, teilen und zitieren

Dokumentinformationen

Titel:

Symbolic execution of concurrent programs using Petri nets

Beteiligte:

Ghezzi, Carlo

Erschienen in:

Rapporto interno / Dipartimento di Elettronica, Politecnico di Milano ; 89,4

Erscheinungsdatum:

1989

Format / Umfang:

55 Bl.

Anmerkungen:

graph. Darst.
Langzeitarchivierung durch Technische Informationsbibliothek (TIB) / Leibniz-Informationszentrum Technik und Naturwissenschaften und Universitätsbibliothek

Medientyp:

Buch

Format:

Sprache:

Englisch

Ghezzi, Carlo / Mandrioli, Dino / Pezze, Mauro | TIBKAT | 1987

Rail maintenance analysis using Petri nets

Zhang, Di | Online Contents | 2017

Rail maintenance analysis using Petri nets

Zhang, Di | Online Contents | 2016

Rail maintenance analysis using Petri nets

Zhang, Di / Hu, Hao / Roberts, Clive | Taylor & Francis Verlag | 2017

System Modelling with Petri Nets

Bobbio, Andrea | Springer Verlag | 1990

Nach oben