Публикации
References
Proceedings: |
---|
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
|
mailto: webmaster@dcn.ftk.spbstu.ru