AuthorsS. Gjessing and E. Munthe-Kaas
TitleTrace Based Verification of Parallel Programs With Shared Variables
StatusPublished
Publication TypeProceedings, refereed
Year of Publication1989
Conference Name22nd Annual Hawaii International Conference on System Sciences
Date PublishedJanuary,
Citation KeyND.5.Gjessing.1989