Sciweavers

LOGCOM
2002

µ-Calculus with Explicit Points and Approximations

14 years 8 months ago
µ-Calculus with Explicit Points and Approximations
Mads Dam, Dilian Gurov
Added 22 Dec 2010
Updated 22 Dec 2010
Type Journal
Year 2002
Where LOGCOM
Authors Mads Dam, Dilian Gurov
Comments (0)