Перейти к основному содержанию
Мемориальная библиотека А.П. Ершова
Toggle navigation
Издания
Журналы
Новые поступления
Вы здесь
Главная
finite state systems
Связанные издания:
Compositional and Quantitative Model Checking (Extended Abstract)
Tools and Algorithms for the Construction and Analysis of Systems: Proc./17th Intern.Conf. TACAS 2001, Held as Part of Joint European Conferences ETAPS 2001, Saarbrucken, Germany, March 2011