The Collection of
Computer Science Bibliographies
M. Mousavi's Bibtex Collection Formal Methods
[ About | Browse | Statistics ]
| Number of references: | 428 | Last update: | September 4, 2005 |
|---|
| Number of online publications: | 57 | Supported: | yes |
|---|
| Most recent reference: | March 2005 |
| |
|---|
- 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
- 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:
-
