Formal Methods and Hybrid Real-Time Systems: Essays in Honour of Dines Bjørner and Zhou Chaochen on the Occasion of Their 70th Birthdays

Full text for this publication is not currently held within this repository. Alternative links are provided below where available.

Editor(s): Jones CB, Liu Z, Woodcock J

Publication type: Edited Book

Publication status: Published

Series Title: Lecture Notes in Computer Science

Year: 2007

Volume: 4700

Number of Pages: 538

Publisher: Springer-Verlag

Place Published: Berlin

Notes: Papers presented at the Festschrift Symposium held September 24-25, 2007 in Macao, China.

Library holdings: Search Newcastle University Library for this item

ISBN: 9783540752202

ePrints