edited by Insup Lee, Joseph Y-T. Leung, Sang H. Son

Chapman & Hall/CRC [2007], c2008 Chapman & Hall/CRC computer and information science series / series editor, Sartaj Sahni

Available at 7 libraries

Rajeev Alur, Insup Lee (eds.)

Springer c2003 Lecture notes in computer science 2855

Available at 20 libraries

Insup Lee, Scott A. Smolka, (eds.)

Springer-Verlag c1995 Lecture notes in computer science 962

Available at 49 libraries