OpenAlex
Expressing and Computing Passage Time Measures of GSPN Models with HASL
Work