Computer-aided verification '90
proceedings of a DIMACS workshop, June 18-21, 1990
Gespeichert in:
Verfasser / Beitragende:
E. M. Clarke, R. P. Kurshan, editors
Ort, Verlag, Jahr:
Providence, RI :
American Mathematical Society,
1991
Beschreibung:
1 Online-Ressource
Format:
Buch (Kongress) (online)
Online Zugang: