Title
ltl3tela - LTL to Small Deterministic or Nondeterministic Emerson-Lei Automata.
Year
DOI
Venue
2019
10.1007/978-3-030-31784-3_21
ATVA
Field
DocType
Citations 
Nondeterministic algorithm,Measure (mathematics),Computer science,Automaton,Theoretical computer science,Heuristics,Nondeterministic automata
Conference
0
PageRank 
References 
Authors
0.34
0
5
Name
Order
Citations
PageRank
Juraj Major100.34
Frantisek Blahoudek2484.02
Jan Strejcek39913.83
Miriama Sasaráková400.34
Tatiana Zboncáková500.34