You are here: TUCS > PUBLICATIONS > Publication Search > Using a Theorem Prover for Rea...
- TUCS Publication Series
- How to Publish in TUCS Series
- Publication Search
- Publication Graph
- Publication Input
- Publication Input Guide
- JuFo Browser
Using a Theorem Prover for Reasoning About Concurent Algorithms
Joakim von Wright, Thomas Långbacka, Using a Theorem Prover for Reasoning About Concurent Algorithms. In: Proceedings of the 4th Workshop on Computer-Aided Verification, Springer-Verlag, 1992.
BibTeX entry:
@INPROCEEDINGS{inpvoLx92a,
title = {Using a Theorem Prover for Reasoning About Concurent Algorithms},
booktitle = {Proceedings of the 4th Workshop on Computer-Aided Verification},
author = {Wright, Joakim von and Långbacka, Thomas},
publisher = {Springer-Verlag},
year = {1992},
}
Belongs to TUCS Research Unit(s): Software Construction Laboratorium