Title
Model-Checking by Infinite Fly-Automata.
Year
DOI
Venue
2013
10.1007/978-3-642-40663-8_20
CAI
Field
DocType
Citations 
Graph,Discrete mathematics,Graph algorithms,Parameterized complexity,Model checking,Computer science,Automaton,Theoretical computer science,Chromatic polynomial,Monad (functional programming),Acyclic coloring
Conference
3
PageRank 
References 
Authors
0.41
10
2
Name
Order
Citations
PageRank
Bruno Courcelle13418388.00
Irène Durand21019.86