English
Deutsch
Log In
Log in with Fraunhofer Smartcard
Password Login
Research Outputs
Fundings & Projects
Researchers
Institutes
Statistics
Fraunhofer-Gesellschaft
Home
Fraunhofer-Gesellschaft
Artikel
Derivation of a contradiction by resolution using Petri Nets
Details
Full
Export
Statistics
Options
Show all metadata (technical view)
1987
Journal Article
Title
Derivation of a contradiction by resolution using Petri Nets
Author(s)
Sinachopoulos, A.
Journal
Petri net newsletter
Language
English
GMD
