Hybrid action systems

Mauno Rönkkö, Anders P. Ravn, Kaisa Sere. Hybrid action systems. Theoretical Computer Science, 290(1):937-973, 2003.

No reviews for this publication, yet.