Formal methods and hybrid real-time systems. Essays in honour of Dines Bjørner and Zhou Chaochen on the occasion of their 70th birthdays.
From MaRDI portal
Publication:2472178
DOI10.1007/978-3-540-75221-9zbMath1130.68009OpenAlexW2503674810MaRDI QIDQ2472178
No author found.
Publication date: 20 February 2008
Published in: Lecture Notes in Computer Science (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/978-3-540-75221-9
Proceedings, conferences, collections, etc. pertaining to computer science (68-06) Festschriften (00B30) Specification and verification (program logics, model checking, etc.) (68Q60) Theory of software (68Nxx)
Uses Software
This page was built for publication: Formal methods and hybrid real-time systems. Essays in honour of Dines Bjørner and Zhou Chaochen on the occasion of their 70th birthdays.
