Verification of Timed-Arc Petri Nets

Lasse Jacobsen, Morten Jacobsen, Mikael Harkjær Møller, Jiri Srba

Institut for Datalogi

Publikation: Bidrag til tidsskrift › Konferenceartikel i tidsskrift › Forskning

36 Citationer (Scopus)

Sorter
Vægt
Alfabetisk

Engineering

Earth and Planetary Sciences

Computer Science