dblp.uni-trier.de www.uni-trier.de

70. Birthdays: Dines Bjørner and Chaochen Zhou 2007

Cliff B. Jones, Zhiming Liu, Jim Woodcock (Eds.): Formal Methods and Hybrid Real-Time Systems, Essays in Honor of Dines Bjørner and Chaochen Zhou on the Occasion of Their 70th Birthdays, Papers presented at a Symposium held in Macao, China, September 24-25, 2007. Lecture Notes in Computer Science 4700 Springer 2007, ISBN 978-3-540-75220-2 BibTeX

Copyright © Sat May 16 22:59:41 2009 by Michael Ley (ley@uni-trier.de)