Expressing and Computing Passage Time Measures of GSPN Models with HASL (Q5300868)
From MaRDI portal
scientific article; zbMATH DE number 6182473
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Expressing and Computing Passage Time Measures of GSPN Models with HASL |
scientific article; zbMATH DE number 6182473 |
Statements
Expressing and Computing Passage Time Measures of GSPN Models with HASL (English)
0 references
28 June 2013
0 references
