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

Symbolic execution of concurrent programs using Petri nets

Ghezzi, Carlo

Access

Access via TIB

Check availability in my library

Page navigation

Document information

Similar titles

Export, share and cite

Symbolic execution of concurrent programs using Petri nets

Ghezzi, Carlo

Symbolic execution of concurrent programs using Petri nets

Ghezzi, Carlo

Access

Access via TIB

Check availability in my library

Page navigation

Document information

Similar titles

Export, share and cite

Document information

Title:

Symbolic execution of concurrent programs using Petri nets

Contributors:

Ghezzi, Carlo

Published in:

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

Publication date:

1989

Size:

55 Bl.

Remarks:

graph. Darst.
Digital preservation by Technische Informationsbibliothek (TIB) / Leibniz-Informationszentrum Technik und Naturwissenschaften und Universitätsbibliothek

Type of media:

Book

Type of material:

Language:

English

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 / Hu, Hao / Roberts, Clive | Taylor & Francis Verlag | 2017

Rail maintenance analysis using Petri nets

Zhang, Di | Online Contents | 2016

System Modelling with Petri Nets

Bobbio, Andrea | Springer Verlag | 1990