The Collection of
Computer Science Bibliographies

A bibliography on applications of formal methods within the railways domain

[   About   |  Browse   |   Statistics   ]

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

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

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

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:
Distribution of publication dates

Valid XHTML 1.1!  Valid CSS!