Compositional specification of behavioral semantics - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Kai Chen 0003, Janos Sztipanovits, Sandeep Neema. Compositional specification of behavioral semantics. In Rudy Lauwereins, Jan Madsen, editors, 2007 Design, Automation and Test in Europe Conference and Exposition (DATE 2007), April 16-20, 2007, Nice, France. pages 906-911, ACM, 2007. [doi]

This author has not been identified. Look up 'Kai Chen 0003' in GoogleThis author has not been identified. It may be one of the following persons:

Janos Sztipanovits

Look up 'Janos Sztipanovits' in GoogleThis author has not been identified. Look up 'Sandeep Neema' in Google

runs on WebDSL