Shoshmina, Irina V.; Belyaev, Alexey B.
Symbolic Algorithm for Generation Büchi Automata from LTL Formulas
In Victor Malyshkin, editor,
Volume 6873
of LNCS
Parallel Computing Technologies - 11th International Conference PACT'2011
Kazan
Publisher: Springer,
2011
|