Sciweavers

FAC
2008

Streamlining progress-based derivations of concurrent programs

13 years 11 months ago
Streamlining progress-based derivations of concurrent programs
Brijesh Dongol, Arjan J. Mooij
Added 10 Dec 2010
Updated 10 Dec 2010
Type Journal
Year 2008
Where FAC
Authors Brijesh Dongol, Arjan J. Mooij
Comments (0)