Vol-3468⫷ Vol-3469 ⫸Vol-3470
urn:nbn:de:0074-3469-0


Vol-3469/paper-22⫷Vol-3469/paper-23⫸Vol-3469/paper-24
Francesco ChiarielloFabio PatriziFabrizio Maria Maggi

From LTL on Process Traces to Finite-state Automata