DMCA

An Action Computation Tree Logic With Unless Operator (2003)

by Robert Meolic , Tatjana Kapus , Zmago Brezočnik
Venue:in Proc. of South-East European Workshop on Formal Methods (SEEFM'03). 2003. Thessaloniki
Citations:3 - 1 self