The Collection of
Computer Science Bibliographies

M. Mousavi's Bibtex Collection Formal Methods

[   About   |  Browse   |   Statistics   ]

Number of references:428Last update:September 4, 2005
Number of online publications:0Supported:yes
Most recent reference:March 2005

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:
M. R. Mousavi <smr_mousavi @ yahoo . com> (email mangled to prevent spamming)
Department of Computer Science,
Eindhoven University of Technology,
Eindhoven, The Netherlands
Keywords:
Formal Methods, Coordination Languages, Real-Time Systems

Browsing the bibliography

Bibliographic Statistics

Types:
inproceedings(183), article(141), techreport(31), incollection(25), book(23), phdthesis(13), unpublished(5), misc(4), artcile(1), inbook(1), masterstehsis(1)
Fields:
title(430), author(425), pages(304), year(267), volume(256), publisher(228), booktitle(201), journal(147), number(145), series(133), editor(120), internalno(83), month(62), address(56), note(31), institution(27), school(20), url(14), issue(8), editors(6), institute(4), mon(4), page(4), type(3), bibdate(2), isbn(2), issn(2), organization(2), acknowledgement(1), adress(1), area(1), booktitile(1), bootitle(1), coden(1), day(1), edition(1), edtitor(1), eitor(1), internno(1), iunternalno(1), publaddr(1), publihser(1), size(1), translator(1), volumne(1)
Distribution of publication dates:
Distribution of publication dates

Valid XHTML 1.1!  Valid CSS!