Item Removed

You seem to be attempting to access an item that has been removed from the repository.

The item you are trying to access was a duplicate of:
Bohnenkamp, Henrik and D'Argenio, Pedro R. and Hermanns, Holger and Katoen, Joost-Pieter (2004) MoDeST: a compositional modeling formalism for hard and softly timed systems. [Report]