Discover open access scientific publications

Search, annotate, share and cite publications

Publications by Matti Luukkainen

Verification of Dense Time Properties Using Theories of Untimed Process Algebra

English