Journal of Logic and Algebraic Programming, Volume 68

Volume 68, Numbers 1-2, June-July 2006

Process Theory for Hybrid Systems
a service of Schloss Dagstuhl - Leibniz Center for Informatics