Romeo Model Checker
- Author
-
Contributors to Wikimedia projects
- Name
- Contributors to Wikimedia projects
- DateModified
- 2024-02-12T03:41:40Z
- DatePublished
- 2010-10-05T13:28:11Z
- Headline
- Petri net editor
- MainEntity
- http://www.wikidata.org/entity/Q3441191
- Name
- Romeo Model Checker
- Publisher
-
Wikimedia Foundation, Inc.
- Logo
-
A1
- Name
- Wikimedia Foundation, Inc.
- SameAs
- Q3441191
- Url
- Romeo Model Checker
