S. P. Luttik

Publication Activity (10 Years)

Years Active: 2000-2006
Publications (10 Years): 0

Publications

Jos C. M. Baeten, S. P. Luttik
Guest editors' introduction: Special issue on Process Theory for Hybrid Systems. J. Log. Algebraic Methods Program. 68 (1-2) (2006)
Wan J. Fokkink, S. P. Luttik
-Complete Equational Specification of Interleaving. ICALP (2000)