Log in to your account
International Conference [on] Computer Aided Verification,, 9,
Computer aided verification : proceedings / 9th International Conference... ; ed. Orna Grumberg
Computer aided verification : proceedings / 9th International Conference... ; ed. Orna Grumberg . - Berlin : Springer, cop. 1997 . - XI, 483 p. : il. 24 cm . - (Lecture notes in computer science; 1254)
3-540-63166-6 Brochado
519.68
Computer aided verification : proceedings / 9th International Conference... ; ed. Orna Grumberg . - Berlin : Springer, cop. 1997 . - XI, 483 p. : il. 24 cm . - (Lecture notes in computer science; 1254)
3-540-63166-6 Brochado
519.68
Exporting to Dublin Core...
Bibliotecas Libraries
Serviços Services
Contactos gerais Contacts
- Serviço de Documentação e Bibliotecas
- Campus de Gualtar, Edifício 04
- 4710-057 Braga
- +351 253 604 150
- usdb@usdb.uminho.pt
- http://www.sdum.uminho.pt
- Serviço de Documentação e Bibliotecas
- Campus de Gualtar, Edifício 04
- 4710-057 Braga
- +351 253 604 150
- usdb@usdb.uminho.pt
