Guest editorial: Special issue on formal modeling and analysis of timed systems (Q1699226)
From MaRDI portal
 | This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use this page instead for the normal view: Guest editorial: Special issue on formal modeling and analysis of timed systems |
scientific article; zbMATH DE number 6840353
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Guest editorial: Special issue on formal modeling and analysis of timed systems |
scientific article; zbMATH DE number 6840353 |
Statements
Guest editorial: Special issue on formal modeling and analysis of timed systems (English)
0 references
19 February 2018
0 references
0 references
0.8641139
0 references
0.8634014
0 references
0.8624686
0 references
0.8575878
0 references
0.85744375
0 references
0.8538536
0 references
0.8534452
0 references
