by Rajeev Alur (Author), Thomas Henzinger (Author)
Format: Paperback
Pages: 492
Edition: 1996
Publisher: Springer
Published: 13 Jun 2008
ISBN 10: 3540614745
ISBN 13: 9783540614746