Sciweavers

ASWEC
2006
IEEE

Model-based runtime analysis of distributed reactive systems

14 years 6 months ago
Model-based runtime analysis of distributed reactive systems
Andreas Bauer 0002, Martin Leucker, Christian Scha
Added 10 Jun 2010
Updated 10 Jun 2010
Type Conference
Year 2006
Where ASWEC
Authors Andreas Bauer 0002, Martin Leucker, Christian Schallhart
Comments (0)