Arrangements of Finite-State Machines Semantics, Simulation, and Model Checking
Author(s)
Estivill-Castro, V
Hexel, R
Griffith University Author(s)
Year published
2013
Metadata
Show full item recordConference Title
MODELSWARD 2013 - Proceedings of the 1st International Conference on Model-Driven Engineering and Software Development
Publisher URI
Subject
Software Engineering