Paper Info
Title
Modelling and verifying IEEE Std 11073-20601 session setup using mCRL2.
Year
Venue
Keywords
2012
ECEASST
model checking,formal language,computer network
DocType
Volume
Citations 
Journal
53
2
PageRank 
References 
Authors
0.39
6
2
Name
Order
Citations
PageRank
J. J. A. Keiren1978.13
Martijn Klabbers2273.06