Notice de personne
- Notice
Larsen, Kim Guldstrand
Responsabilité(s) exercée(s) sur les documents :
Auteur
Source(s) :
Computer Aided Verification [Texte électronique] : 14th International Conference, CAV 2002 Copenhagen, Denmark, July 27-31, 2002 Proceedings / edited by Ed Brinksma, Kim Guldstrand Larsen.- Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg : Springer e-books, 2002
Computer Aided Verification [Texte électronique] : 14th International Conference, CAV 2002 Copenhagen, Denmark, July 27-31, 2002 Proceedings / edited by Ed Brinksma, Kim Guldstrand Larsen.- Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg : Springer e-books, 2002
Identifiant de la notice : ark:/12148/cb172444022
Notice n° :
FRBNF17244402
Création :
18/02/07