Publication | Open Access
Variations on parallel explicit emptiness checks for generalized Büchi automata
14
Citations
17
References
2016
Year
Logical AutomatonEngineeringVerificationFormal MethodsAutomaton OperationEquivalence CheckingComputer ScienceModel CheckingFinite-state SystemFormal VerificationGeneralized Büchi Automata
| Year | Citations | |
|---|---|---|
Page 1
Page 1