1.

図書
図書
1. Computer aided verification : 13th International Conference, CAV 2001, Paris, France, July 18-22, 2001 : proceedings
Gérard Berry, Hubert Comon, Alain Finkel (eds.)
出版情報: Berlin : Springer, c2001
シリーズ名: Lecture notes in computer science ; 2102
所蔵情報: 図書館
2.

図書
図書
2. STACS 92 : 9th Annual Symposium on Theoretical Aspects of Computer Science, Cachan, France, February 13-15, 1992 : proceedings (: gw ; : us)
A. Finkel, M. Jantzen (eds.)
出版情報: Berlin ; New York : Springer-Verlag, c1992
シリーズ名: Lecture notes in computer science ; 577
所蔵情報: 図書館
3.

電子ブック
ＥＢ
3. STACS 92 : 9th Annual Symposium on Theoretical Aspects of Computer Science Cachan, France, February 13–15, 1992 Proceedings
edited by Alain Finkel, Matthias Jantzen
出版情報: Berlin, Heidelberg : Springer-Verlag, 1992
シリーズ名: Lecture Notes in Computer Science ; 577
オンライン: http://dx.doi.org/10.1007/3-540-55210-3