Publication | Closed Access
Computer-aided verification of coordinating processes: The automata-theoretic approach
787
Citations
0
References
1995
Year
Logical AutomatonEngineeringAutomated ReasoningVerificationFormal MethodsProcess ControlAutomaton NetworkAutomaton OperationComputer-aided VerificationComputer ScienceFormal Verification
No additional data available for this publication yet. Check back later!