Вы здесь

Главная

buchi automata

Связанные издания:

Formal Modelling and Analysis of Timed Systems: Proc./7th International Conference, FORMATS 2009, Budapest, Hungary, September 2009
Model Checking Software: Proc./22nd International Symposium, SPIN 2015, Stellenbosch, South Africa, August 2015