Expectation-Oriented Analysis and Design (2001)

by W Brauer, M Nickles, M Rovatsos, G Weiß, K F Lorentzen
Venue:In Proc. AOSE’2001, volume 2222 of LNCS