Vol-478⫷ Vol-479 ⫸Vol-480
urn:nbn:de:0074-479-0


Vol-479/paper-10⫷Vol-479/paper-11⫸Vol-479/paper-12

A Framework for Verifying UML Behavioral Models