The Collection of
Computer Science Bibliographies

ProCoS II Bibliography

[   About   |  Browse   |   Statistics   ]

Number of references:177Last update:November 6, 1997
Number of online publications:0Supported:no
Most recent reference:1997

in  ;
Publication year: in:, since:, before: (four digit years)
Options: , ,

You may use Lucene syntax, available fields are: ti (title), au (author), yr (publications year).

Information on the Bibliography

Jonathan Bowen <J . P . Bowen @ reading . ac . uk> (email mangled to prevent spamming)
Department of Computer Science
University of Reading
Whiteknights, PO Box 225
Berkshire RG6 6AY
provably correct systems, provably correct hardware/software co-design, Concurrency, CSP, Decompilation, Design, Duration Calculus, Formal Methods Europe, Hardware compilation, HOL, Hybrid Systems, Interfaces, Languages, Models, Occam, Operational semantics, Programs, Provably correct systems, Reactive systems, Real-time, Refinement, Requirements, safemos project, Safety-critical systems, Semantics, Sequential Calculus, Specification, Standards, Temporal logic, Time, Transputer, VDM, Z notation, Z User Meeting
Procos 2 Archive

Browsing the bibliography

Bibliographic Statistics

inproceedings(59), article(35), techreport(34), incollection(14), book(10), proceedings(8), phdthesis(6), unpublished(6), mastersthesis(3), misc(2)
title(177), year(177), author(166), pages(100), publisher(86), volume(86), booktitle(84), month(76), editor(74), series(65), number(58), address(38), note(37), journal(35), institution(34), type(31), comment(23), url(13), school(9), chapter(8), isbn(4), issn(4), howpublished(2), organization(2), country(1), keywords(1), location(1), other(1)
Distribution of publication dates:
Distribution of publication dates

Valid XHTML 1.1!  Valid CSS!