Paper Info
Title
Arrangements of Finite-state Machines - Semantics, Simulation, and Model Checking.
Year
Venue
Keywords
2013
MODELSWARD
software engineering
Field
DocType
Citations 
Model checking,Software engineering,Systems engineering,Computer science,Finite-state machine,Semantics
Conference
5
PageRank 
References 
Authors
0.42
0
2
Name
Order
Citations
PageRank
vladimir estivillcastro1903107.50
René Hexel27912.65