1. Lect Notes Comput Sci;R. Alur,2001
2. E. Asarin, T. Dang, and O. Maler. d/dt: A verification tool for hybrid systems. In Invited session “New Developments inVerification Tools for Hybrid Systems”, in Proceedings of the Conference on Decision and Control, Florida, USA, July 2001. 160
3. R. Backofen, S. Will, and E. Bornberg-Bauer. Application of constraint programming techniques for structure prediction of lattice proteins with extended alphabets. Bioinformatics, 3(15):234–242, 1999. 160
4. A. Bockmayr and A. Courtois. Using hybrid concurrent constraint programming to model dynamic biological systems. In Springer, editor, 18th International Conference on Logic Programming, pages 85–99, Copenhagen, 2002. 150, 157
5. M. Bozzano, G. Delzanno, and M. Martelli. Model checking linear logic specifications. Technical report, Technical report,University di Genova, March 2002. 160