Paper Info
Title
MoTraS: A Tool for Modal Transition Systems and Their Extensions.
Year
DOI
Venue
2013
10.1007/978-3-319-02444-8_41
ATVA
Field
DocType
Citations 
Command-line interface,Model checking,Computer science,Theoretical computer science,Hull,Modal
Conference
4
PageRank 
References 
Authors
0.41
15
2
Name
Order
Citations
PageRank
Jan Kretínský115916.02
Salomon Sickert2348.01