Domain Specific Analysis of Statemachine Models of Reactive Systems.
VenueAMODELS
Year2013
ProceedingsMoDELS (Demos/Posters/StudentResearch)
DBLP recordconf/models/Zurowska13 ↗
Browse the full MODELS paper archive.
Browse the full MODELS paper archive.