Вы здесь

Optimizing Bounded Model Checking for Linear Hybrid Systems

Количество экземпляров: 
1
Вид: 
Статья из сборника или журнала
Год: 
2005
Стр.: 
P.396-412
Библиография: 
Bibliogr.: p.411
Место издания: 
Том: 
3385
Карточка: 

Б2.2.

Abraham E., Becker B., Klaedtke F., Steffen M..

Optimizing Bounded Model Checking for Linear Hybrid Systems-Berlin, Heidelberg.// Lecture Notes in Computer Science, 2005.-Vol. 3385.-P.396-412-(Lecture Notes in Computer Science).
Bibliogr.: p.411

Таблица в старой библиотеке: 
PAP29 853