Putting time into proof outlines (1992)
by
Fred B. Schneider
,
Keith Marzullo
,
Fred B. Schneider T
,
Bard Bloom
,
Bard Bloom
,
Keith Marzulio
| Venue: | In |
| Citations: | 26 - 1 self |
BibTeX
@INPROCEEDINGS{Schneider92puttingtime,
author = {Fred B. Schneider and Keith Marzullo and Fred B. Schneider T and Bard Bloom and Bard Bloom and Keith Marzulio},
title = {Putting time into proof outlines},
booktitle = {In},
year = {1992},
pages = {618--639},
publisher = {Springer-Verlag}
}
Bookmark
 |
 |
 |
 |
 |
 |
