Title of article
A user-friendly interface to specify temporal properties of concurrent systems
Author/Authors
Nicoletta De Francesco، نويسنده , , Antonella Santone، نويسنده , , Gigliola Vaglini، نويسنده ,
Issue Information
روزنامه با شماره پیاپی سال 2007
Pages
13
From page
299
To page
311
Keywords
model checking , Temporal logic , Patterns
Journal title
Information Sciences
Serial Year
2007
Journal title
Information Sciences
Record number
177081
Link To Document