Computer Aided Verification: 13th International Conference, CAV 2001, Paris, France, July 18-22, 2001. Proceedings: 2102 (Lecture Notes in Computer Science)
by Gerard Berry,Hubert Comon,Alain Finkel
ISBN 13: 9783540423454
Format: Paperback (536 pages) Publisher: Springer Published: 04 Jul 2001
Save for later
STACS 93: 10th Annual Symposium on Theoretical Aspects of Computer Science, Würzburg, Germany, February 25-27, 1993, Proceedings: 665 (Lecture Notes in Computer Science)
by Patrice Enjalbert,Alain Finkel,Klaus W. Wagner
ISBN 13: 9783540565031
Format: Paperback (744 pages) Publisher: Springer Published: 22 Feb 2009
STACS 92: 9th Annual Symposium on Theoretical Aspects of Computer Science, Cachan, France, February 13-15, 1992. Proceedings: 577 (Lecture Notes in Computer Science)
by Alain Finkel, Matthias Jantzen
ISBN 13: 9783540552109
Format: Paperback (644 pages) Publisher: Springer Published: 13 Jun 2008
Reachability Problems: 6th International Workshop, RP 2012, Bordeaux, France, September 17-19, 2012. Proceedings: 7550 (Lecture Notes in Computer Science)
by Alain Finkel, Jerome Leroux, Igor Potapov
ISBN 13: 9783642335112
Format: Paperback (164 pages) Publisher: Springer Published: 17 Aug 2012