Sciweavers

TOSEM
2010

A verification system for interval-based specification languages

13 years 1 months ago
A verification system for interval-based specification languages
Chunqing Chen, Jin Song Dong, Jun Sun 0001, Andrew
Added 31 Jan 2011
Updated 31 Jan 2011
Type Journal
Year 2010
Where TOSEM
Authors Chunqing Chen, Jin Song Dong, Jun Sun 0001, Andrew Martin
Comments (0)