Tools and Algorithms for the Construction and Analysis of Systems : 9th International Conference, TACAS 2003, Held as Part of the Joint European Confe
by Hubert Garavel, John Hatcliff Paperback 2003
- Author: Hubert Garavel, John Hatcliff
- ISBN 13: 9783540008989
- ISBN 10: 3540008985
- Publication Year: 2003
- Language: English
Specifications
Index-103540008985
LanguageEnglish
Index-139783540008989
Period-
Class Track-
Publisher- (2003)
Pages-