Вы здесь

Главная

Compositional and Quantitative Model Checking (Extended Abstract)

Автор: 
Larsen K. G.
Количество экземпляров: 
1
Вид: 
Статья из сборника или журнала
Год: 
2010
Ключевые слова: 
model checking
методология
эвристика
finite state systems
семантика
временной автомат
эффективность
Стр.: 
P.35-42
Библиография: 
Bibliogr.: p.41-42
Место издания: 
Berlin
Издательство: 
Springer
Серия: 
Lecture Notes in Computer Science
Источник: 
Perspectives of Systems Informatics
Том: 
5947
Карточка: 

Б2.2.

Larsen K. G..

Compositional and Quantitative Model Checking (Extended Abstract)-Berlin.: Springer// Perspectives of Systems Informatics, 2010.-Vol. 5947.-P.35-42-(Lecture Notes in Computer Science).
Bibliogr.: p.41-42

Таблица в старой библиотеке: 
PAP31 509