Title
The VSE Refinement Method in Hets.
Year
DOI
Venue
2013
10.14279/tuj.eceasst.62.859
ECEASST
Field
DocType
Volume
Graph,Computer science,Theoretical computer science,Dynamic logic (digital electronics),Formalism (philosophy)
Journal
62
Citations 
PageRank 
References 
0
0.34
0
Authors
4
Name
Order
Citations
PageRank
Till Mossakowski1105290.11
Mihai Codescu28912.58
Christian Maeder384.00
Bruno Langenstein41128.98