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

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

Browsing the bibliography

Bibliographic Statistics

inproceedings(183), article(141), techreport(31), incollection(25), book(23), phdthesis(13), unpublished(5), misc(4), artcile(1), inbook(1), masterstehsis(1)
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!