Sciweavers

FM
2008
Springer

Provably Correct Runtime Monitoring

14 years 2 months ago
Provably Correct Runtime Monitoring
Irem Aktug, Mads Dam, Dilian Gurov
Added 26 Oct 2010
Updated 26 Oct 2010
Type Conference
Year 2008
Where FM
Authors Irem Aktug, Mads Dam, Dilian Gurov
Comments (0)