search query: @keyword safety properties / total: 2
references: 1-2 / 2
« previous page | next page »
 titleyearauthor
1.
Model checking PSL safety properties
2009 Launiainen, Tuomas
2.
On Model Checking Safety Properties
2002 Latvala, Timo
« previous page | next page »
INSSI