Concepedia
1998 · 32 citations · 0 references
ComputingComputer ScienceComputer SystemsFormal MethodsReal-time SystemsConcurrency ControlModel CheckingPetri NetsTemporal LogicConcurrency LogicConcurrency RepresentationTemporal Action Representation