English
Deutsch
Log In
Password Login
or
Log in with Fraunhofer Smartcard
Research Outputs
Projects
Researchers
Institutes
Statistics
Fraunhofer-Gesellschaft
Home
Fraunhofer-Gesellschaft
Artikel
Die Produktnetzmaschine und das SH-Verification Tool
Details
Full
Export
Statistics
Options
1997
Book Article
Titel
Die Produktnetzmaschine und das SH-Verification Tool
Author(s)
Ochsenschläger, P.
Repp, J.
Rieke, R.
Hauptwerk
Petri-Netze zur Modellierung verteilter DV-Systeme
Language
German
google-scholar
View Details
Fraunhofer-Institut für Sichere Informationstechnologie SIT
Tags
formal model
