Verification of Petri Nets with Read Arcs
| Hauptverfasser: | , |
|---|---|
| Format: | Report |
| Veröffentlicht: |
LSV‚ ENS de Cachan‚ France
2012
|
| _version_ | 1826276167433322496 |
|---|---|
| author | Rodríguez, C Schwoon, S |
| author_facet | Rodríguez, C Schwoon, S |
| author_sort | Rodríguez, C |
| collection | OXFORD |
| description | |
| first_indexed | 2024-03-06T23:09:56Z |
| format | Report |
| id | oxford-uuid:65198bf5-a869-4813-a1a4-1f52fcf1d235 |
| institution | University of Oxford |
| last_indexed | 2024-03-06T23:09:56Z |
| publishDate | 2012 |
| publisher | LSV‚ ENS de Cachan‚ France |
| record_format | dspace |
| spelling | oxford-uuid:65198bf5-a869-4813-a1a4-1f52fcf1d2352022-03-26T18:23:23ZVerification of Petri Nets with Read ArcsReporthttp://purl.org/coar/resource_type/c_93fcuuid:65198bf5-a869-4813-a1a4-1f52fcf1d235Department of Computer ScienceLSV‚ ENS de Cachan‚ France2012Rodríguez, CSchwoon, S |
| spellingShingle | Rodríguez, C Schwoon, S Verification of Petri Nets with Read Arcs |
| title | Verification of Petri Nets with Read Arcs |
| title_full | Verification of Petri Nets with Read Arcs |
| title_fullStr | Verification of Petri Nets with Read Arcs |
| title_full_unstemmed | Verification of Petri Nets with Read Arcs |
| title_short | Verification of Petri Nets with Read Arcs |
| title_sort | verification of petri nets with read arcs |
| work_keys_str_mv | AT rodriguezc verificationofpetrinetswithreadarcs AT schwoons verificationofpetrinetswithreadarcs |