DMCA

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

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