Weak Alternating Timed Automata
Data and Resources
Additional Info
| Field | Value |
|---|---|
| Source | EISSN: 1860-5974 |
| Author | Parys, Pawel, Walukiewicz, Igor |
| Maintainer | CCSD |
| Last Updated | May 5, 2026, 23:07 (UTC) |
| Created | May 5, 2026, 23:07 (UTC) |
| Identifier | hal-00962246 |
| Language | en |
| contributor | Faculty of Mathematics, Informatics, and Mechanics [Warsaw] (MIMUW) ; Uniwersytet Warszawski [Polska] = University of Warsaw [Poland] = Université de Varsovie [Pologne] (UW) |
| creator | Parys, Pawel |
| date | 2012-05-05T00:00:00 |
| harvest_object_id | e3eae4e7-cb7e-4df4-9ae4-b04d523537e4 |
| harvest_source_id | 3374d638-d20b-4672-ba96-a23232d55657 |
| harvest_source_title | test moissonnage SELUNE |
| metadata_modified | 2025-05-26T00:00:00 |
| relation | info:eu-repo/semantics/altIdentifier/arxiv/1208.5909 |
| set_spec | type:ART |