Title of article
Automatic verification of concurrent systems using a formula-based compositional approach
Author/Authors
Antonella Santone، نويسنده ,
Issue Information
روزنامه با شماره پیاپی سال 2002
Pages
34
From page
531
To page
564
Journal title
acta Informatica
Serial Year
2002
Journal title
acta Informatica
Record number
287739
Link To Document