Checking concurrent behavior in UML/OCL models.

Nils Przigoda, Christoph Hilken, Robert Wille, Jan Peleska, Rolf Drechsler

Browse the full MODELS paper archive.