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

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

Browsing the bibliography

Bibliographic Statistics

inproceedings(30), techreport(10), article(4), inbook(3), phdthesis(3), book(2), mastersthesis(1)
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!