Fingeraftryk
Dyk ned i forskningsemnerne om 'Simplification of CTL Formulae for Efficient Model Checking of Petri Nets'. Sammen danner de et unikt fingeraftryk.- Sorter
- Vægt
- Alfabetisk
Simplification of CTL Formulae for Efficient Model Checking of Petri Nets
Fredrik Meyer Bønneland, Jakob Dyhr, Peter Gjøl Jensen, Mads Johannsen, Jiri Srba
Publikation: Bidrag til bog/antologi/rapport/konference proceeding › Konferenceartikel i proceeding › Forskning › peer review
15
Citationer
(Scopus)