Burkart, Olaf, <br/><br/>
Automatic verification of sequential infinite-state processes / 
Olaf Burkart 
 - 163 páginas 
 - Lecture notes in computer science ;  1354 .
 - Lecture notes in computer science  .
<br/><br/>Incluye referencias bibliograficas e indices. 
<br/><br/><label>ISBN: </label>3540601171 (rustica : papel alcalino) 
<br/><br/><label>Subjects--Topical Terms: </label><br/>Software para computadora--Verificación<br/>Ingeniería de software
<br/><br/><label>LC Class. No.: </label>QA76.76V47  / B87 
<br/><br/><label>Dewey Class. No.: </label>005.1/4