Paper Info
Title
Special issue of the 21st International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS 2015).
Abstract
An abstract is not available.
Year
DOI
Venue
2017
10.1007/s00236-017-0298-1
Acta Inf.
Field
DocType
Volume
Discrete mathematics,Computer science,Management science
Journal
54
Issue
ISSN
Citations 
8
0001-5903
0
PageRank 
References 
Authors
0.34
0
2
Name
Order
Citations
PageRank
Christel Baier13053185.85
Cesare Tinelli2140979.86