A Priori Verification of Reactive Systems.

Mila E. Majster-Cederbaum Frank Salger Maria Sorea A Priori Verification of Reactive Systems. 35-50 2000 conf/forte/2000 FORTE db/conf/forte/forte2000.html#Majster-CederbaumSS00