The Collection of
Computer Science Bibliographies
Up: Bibliographies on Software/Hardware Engineering and Formal Methods Collection Home

ESPRIT ProCoS Working Group - Bibliography

[   About   |  Browse   |   Statistics   ]

Number of references:325Last update:August 2, 1994
Number of online publications:0Supported:Unknown
Most recent reference:1995

Search the bibliography

Help on: [ Syntax | Options | Compression of results | Improving your query | Query examples ]
Boolean operators:and and or. Use () to group subexpressions.
Query:
Options:      
Results:       compress results (in case of low bandwidth)
Return a maximum of references.

Information on the Bibliography

Author:
Jonathan Bowen <J . P . Bowen @ reading . ac . uk> (email mangled to prevent spamming)
Department of Computer Science
University of Reading
Whiteknights, PO Box 225
Reading
Berkshire RG6 6AY
UK
Keywords:
provably correct systems, provably correct hardware/software co-design
Procos Archive

Browsing the bibliography

Bibliographic Statistics

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:

Distribution of publication dates

Please direct comments regarding the bibliography collection to <liinwwwa@ira.uka.de>.

This page is part of the Computer Science Bibliography Collection.
Copyright © 1994-2004, Alf-Christian Achilles. All Rights Reserved.