Computer aided verification : 5th international conference, CAV '93, Elounda, Greece, June 28-July 1, 1993 : proceedings
This volume contains the proceedings of the Fifth Conference on Computer-Aided Verfication, held in Crete, Greece, in June/July 1993. The objective of the CAV conferences is to bring together researchers and practitioners interested in the development anduse of methods, tools, and theories for the c...
Bewaard in:
| Coauteur: | |
|---|---|
| Andere auteurs: | |
| Formaat: | Livre numérique |
| Taal: | Anglais |
| Gepubliceerd in: |
Berlin [etc.] :
Springer
[20..].
Cham : Springer Nature |
| Reeks: | Lecture notes in computer science
697 |
| Onderwerpen: | |
| Online toegang: | Accès sur la plateforme de l'éditeur Accès sur la plateforme Istex Accès Université d'Orléans Accès INSA CVL |
| Opmerking: |
Archives Springer e-books (Licence nationale) Archives Springer e-books (Licence nationale) |
| Autres localisations: | Voir dans le Sudoc |
| Edition sous un autre format: | • Computer aided verification, 5th international conference, CAV '93, Elounda, Greece, June 28-July 1, 1993, proceedings, Costas Courcoubetis (ed.), Berlin, Springer-Verlag, 1993, 1 vol. (IX-504 p.), Lecture notes in computer science, 3-540-56922-7 • Computer Aided Verification, Texte imprimé, 9783662178737 |