Page 1
Page 1
Implementation and Application of Automata ; Vol. 4094 ; 11th International Conference, CIAA 2006, Taipei, Taiwan, August 21-23, 2006, Proceedings
This book constitutes the refereed proceedings of the 11th International Conference on Implementation and Application of Automata, CIAA 2006, held in Taipei, Taiwan, in August 2006.
Computer Aided Verification ; 20th International Conference, CAV 2008 Princeton, NJ, USA, July 7-14, 2008 Proceedings
This book constitutes the refereed proceedings of the 20th International Conference on Computer Aided Verification, CAV 2008, held in Princeton, NJ, USA, in July 2008.
