Toggle Main Menu Toggle Search

Open Access padlockePrints

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

Lookup NU author(s): Professor Cliff JonesORCiD


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

Publication metadata

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