Męski, Artur. <br/><br/>
Model checking temporal properties of reaction systems / 
Artur Męski, Wojciech Penczek, Grzegorz Rozenberg. 
 - Warszawa :  Instytut Podstaw Informatyki Polskiej Akademii Nauk,  2014. 
 - 27, [1] s. ;  21 cm. 
 - Prace IPI PAN =  ICS PAS Reports,  1028  0138-0648 ; .
 - Prace IPI PAN  1028 .
<br/><br/> Na prawach rękopisu. 
<br/><br/><label>Subjects--Topical Terms: </label><br/>Logika temporalna.