Structural and behavioral modeling with monadic logics (1999)

by Abdelwaheb Ayari, David Basin, Stefan Friedrich
Venue:In The Twenty-Ninth IEEE International Symposium on Multiple-Valued Logic. IEEE Computer Society