Title
Three Approaches to Timed External Choice in UTP.
Year
DOI
Venue
2014
10.1007/978-3-319-14806-9_1
UTP
Field
DocType
Citations 
Computer science,Standard definition,Theoretical computer science,Operator (computer programming),Discrete time and continuous time,Language model,Semantics,Semantic data model,Algebraic laws
Conference
0
PageRank 
References 
Authors
0.34
5
2
Name
Order
Citations
PageRank
Samuel Canham100.34
Jim Woodcock2917.81