-
1Temporal Logic in Specification [electronic resource] : Altrincham, UK, April 8–10, 1987 Proceedings / Temporal Logic in Specification [electronic resource] : Altrincham, UK, April 8–10, 1987 Proceedings /by Banieqbal, B. editor., Barringer, H. editor., Pnueli, A. editor., SpringerLink (Online service)
Published 1989Texto bibliotecaCOLPOS -
2Temporal Logic in Specification [electronic resource] : Altrincham, UK, April 8–10, 1987 Proceedings / Temporal Logic in Specification [electronic resource] : Altrincham, UK, April 8–10, 1987 Proceedings /by Banieqbal, B. editor., Barringer, H. editor., Pnueli, A. editor., SpringerLink (Online service)
Published 1989Texto bibliotecaCOLPOS