IEICE Transactions on Information and Systems · 1998 · 75 citations · 0 references
ComputingComputer ScienceFormal MethodsReal-time SystemsSystems ModelingDeductive VerificationDiscrete-event System ModelingFinite State Machine ModelingModel CheckingPetri NetsTemporal LogicPetri Net Model CheckingPetri Net ModelsPetri Net VerificationTemporal Logic VerificationTimed Model CheckingTimed Petri Nets