The Collection of
ESPRIT ProCoS Working Group - Bibliography
[ About | Browse | Statistics ]
Number of references: 325 Last update: July 28, 1994 Number of online publications: 19 Supported: Unknown Most recent reference: 1995
Author: Jonathan Bowen <J . P . Bowen @ reading . ac . uk> (email mangled to prevent spamming) Department of Computer Science Keywords:
provably correct systems, provably correct hardware/software co-design
Procos Archive
Types: inproceedings(120), article(79), techreport(45),
book(27), incollection(20), proceedings(9), misc(7),
unpublished(7), manual(5), phdthesis(5),
mastersthesis(1) Fields: title(325), year(323), author(297), publisher(152),
booktitle(144), pages(139), volume(120), editor(117),
month(111), series(86), journal(79), number(79),
address(65), location(46), institution(45), note(43),
type(42), other(29), organization(11), annote(7),
isbn(7), howpublished(6), key(6), length(6), school(6),
chapter(4), issn(4), crossref(2), edition(2), ditor(1),
editors(1), page(1), price(1), publihser(1),
publishers(1) Distribution of publication dates:
