![](/img/cover-not-exists.png)
[IEEE 2009 Fourth International Conference on Dependability of Computer Systems - Brunow, Poland (2009.06.30-2009.07.2)] 2009 Fourth International Conference on Dependability of Computer Systems - Minimal Büchi Automata for Certain Classes of LTL Formulas
Cichon, Jacek, Czubak, Adam, Jasinski, AndrzejYear:
2009
Language:
english
DOI:
10.1109/depcos-relcomex.2009.31
File:
PDF, 299 KB
english, 2009