005.14 <br/>
Bloem, Roderick P., <br/>
       Decidability of parameterized verification / 
 / Roderick Bloem and Ayrat Khalimov, Swen Jacobs, Igor Konnov, Helmut Veith, and Josef Widder, Sasha Rubin. 
 .- 1 PDF (xi, 158 pages) :.  illustrations. 
  ** Synthesis lectures on distributed computing theory,  *  # 13  2155-1634 ;  )
<br/><label>LC Class. No.: </label>QA76.76.V47  / B563 2015 
 - Synthesis digital library of engineering and computer science. Synthesis lectures on distributed computing theory ;  # 13. .
<br/>Part of: Synthesis digital library of engineering and computer science. 
<br/>Includes bibliographical references (pages 145-155). 
<br/> Abstract freely available; full-text restricted to subscribers or individual document purchasers. 
<br/> Compendex  INSPEC  Google scholar  Google book search 
<br/>
<br/><br/>Mode of access: World Wide Web. <br/>System requirements: Adobe Acrobat Reader. 
<br><u>ISBN:</u> 9781627057448 
<br/><label>Standard No.: </label>10.2200/S00658ED1V01Y201508DCT013  doi 
<br/><u>Subject Headings:</u> <br/>Computer software;--Verification.<br/>Electronic data processing;--Distributed processing.
<br/><label>Subjects--Index Terms: </label>parametrized model checking concurrent systems distributed systems formal verification model checking decidability cutoffs 
<br/><U>Author Added Entry: </u><br/>Jacobs, Swen.,;<br/>Khalimov, Ayrat.,;<br/>Konnov, Igor,;<br/>Rubin, Sasha.,;<br/>Veith, Helmut.,;<br/>Widder, Josef.,;
<br><U>Copy Details:</u><br> Acc. No.: <b>EBKE662</b>, Full Call No.: ,   Item type:  E books , Location: , <br><b>------------------------- --------------------- ------ --------- ------- ------- --------- -------- </b><br>