Publication | Closed Access
A Semantics Based Verification Tool for Finite State Systems
65
Citations
0
References
1989
Year
Unknown Venue
EngineeringFinite State SystemsAutomated ReasoningVerificationFormal MethodsSoftware AnalysisSystems EngineeringComputer-aided VerificationComputer ScienceModel CheckingFinite-state SystemFormal Verification
No additional data available for this publication yet. Check back later!