Stop the war!
Остановите войну!
for scientists:
default search action
Journal of Logic and Algebraic Programming, Volume 68
Volume 68, Numbers 1-2, June-July 2006
- Jos C. M. Baeten, S. P. Luttik:
Guest editors' introduction: Special issue on Process Theory for Hybrid Systems. 1-3 - Jan A. Bergstra, Cornelis A. Middelburg:
Continuity controlled hybrid automata. 5-53 - Peter C. W. van den Brand, Michel A. Reniers, Pieter J. L. Cuijpers:
Linearization of hybrid processes. 54-104 - Rajeev Alur, Radu Grosu, Insup Lee, Oleg Sokolsky:
Compositional modeling and refinement for hierarchical hybrid systems. 105-128 - D. A. van Beek, Ka L. Man, Michel A. Reniers, Jacobus E. Rooda, Ramon R. H. Schiffelers:
Syntax and consistent equation semantics of hybrid Chi. 129-210
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.