The Collection of
Computer Science Bibliographies

A bibliography on applications of formal methods within the railways domain

[ About | Browse | Statistics ]

Number of references:	53	Last update:	February 23, 2001
Number of online publications:	5	Supported:	Unknown
Most recent reference:	1998

Information on the Bibliography

Author:: Peter Gorm Larsen <peter @ ifad . dk> (email mangled to prevent spamming)
The Institute of Applied Computer Science (IFAD)
Forskerparken 10
DK-5230 Odense M
Denmark
Keywords:: formal methods, railways

Browsing the bibliography

Original source:

ftp://ftp.ifad.dk... (Format: bibtex, compressed with gzip)

Bibliographic Statistics

Types:: inproceedings(30), techreport(10), article(4), inbook(3), phdthesis(3), book(2), mastersthesis(1)
Fields:: key(53), title(53), year(53), author(52), comment(38), publisher(33), booktitle(31), pages(27), month(25), editor(21), address(15), number(11), institution(10), note(9), series(7), volume(7), size(6), annote(4), journal(4), organization(4), school(4), chapter(2), isbn(2), keywords(2)
Distribution of publication dates: