Paper Info
Title
From LTL to Unambiguous Büchi Automata via Disambiguation of Alternating Automata.
Year
DOI
Venue
2019
10.1007/978-3-030-30942-8_17
FM
Field
DocType
Citations 
Computer science,Automaton,Markov chain,Theoretical computer science,Intermediate language,Büchi automaton,Computation
Conference
0
PageRank 
References 
Authors
0.34
0
4
Name
Order
Citations
PageRank
Simon Jantsch101.69
David Müller2222.39
Christel Baier33053185.85
Joachim Klein41189.33