Record:   Prev Next
作者 Burkart, Olaf
書名 Automatic verification of sequential infinite-state processes [electronic resource] / Olaf Burkart
出版項 Berlin ; New York : Springer, c1997
國際標準書號 9783540639824 (paper)
book jacket
說明 x, 163 p. : digital ; 24 cm
Springer
系列 Lecture notes in computer science, 0302-9743 ; 1354
Host Item Springer e-books
主題 Processes, Infinite
Branch and bound algorithms
Alt Author SpringerLink (Online service)
Record:   Prev Next