DMCA

MoDeST: A compositional modeling formalism for hard and softly timed systems (2005)

by Henrik Bohnenkamp , Pedro R. D’Argenio , Holger Hermanns , Joost-pieter Katoen
Citations:21 - 9 self