Tech Reports

Report ID Title Report authors Report date
1993-01 A Computationally Intractable Problem on Simplicial Complexes Omer Egecioglu and Teofilo Gonzalez January, 1993
1992-22 Formal Verification of Realtime Systems in ASTRAL Alberto Coen-Porisini, Richard A. Kemmerer, and Dino Mandrioli December, 1993
1992-22 Formal Verification of Realtime Systems in ASTRAL Alberto Coen-Porisini, Richard A. Kemmerer, and Dino Mandrioli January, 1992

Pages