DMCA

Towards the Compositional Verification of Real-Time UML Designs (2003)

by Holger Giese , Matthias Tichy , Sven Burmester , Wilhelm Schäfer , Stephan Flake
Citations:55 - 37 self