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

The RAISE Bibliography

[   About   |  Browse   |   Statistics   ]

Number of references:55Last update:February 23, 2001
Number of online publications:0Supported:yes
Most recent reference:March 1996

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:
Peter Gorm Larsen <peter @ ifad . dk> (email mangled to prevent spamming)
IFAD
Forskerparken 10
DK-5230 Odense M
Denmark
Abstract:
References related to the formal method called RAISE
Keywords:
Software Engineering, Formal Methods

Browsing the bibliography

Bibliographic Statistics

Types:
inproceedings(24), techreport(12), misc(9), article(5), book(2), inbook(1), incollection(1), manual(1)
Fields:
key(55), title(55), year(55), author(54), comment(33), month(31), publisher(26), booktitle(25), size(25), number(13), pages(12), institution(11), note(8), howpublished(7), editor(6), volume(6), journal(5), series(5), annote(3), organization(3), type(3), address(2)

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.