Vol-1114⫷ Vol-1115 ⫸Vol-1116
urn:nbn:de:0074-1115-0


Vol-1115/src5⫷Vol-1115/src6⫸Vol-1115/src7

A Framework for Specifying and Analyzing Temporal Properties of UML Class Models