The Collection of
Computer Science Bibliographies
Bibliography of publications from the Specification and Verification Lab, ENS de Cachan
[ About | Browse | Statistics ]
| Number of references: | 772 | Last update: | December 14, 2008 |
|---|
| Number of online publications: | 754 | Supported: | yes |
|---|
| Most recent reference: | December 2008 |
| |
|---|
- Author:
- Nicolas Markey <markey @ lsv . ens-cachan . fr> (email mangled to prevent spamming)
Lab. Specification and Verification
ENS de Cachan
61 av. Pdt. Wilson
F-94235 Cachan Cedex
France
- Abstract:
-
This bibliography lists publications by researchers at LSV (Lab. Specification and Verification). Most of the publications are available on-line.
- Keywords:
-
Specification, Verification, Formal Methods, Logic, Model-checking
- Types:
- inproceedings(341), techreport(212), article(126),
phdthesis(44), mastersthesis(31), incollection(11),
book(4), proceedings(2), misc(1)
- Fields:
- title(772), year(772), author(769), url(753),
month(740), abstract(514), pages(457), publisher(436),
volume(375), booktitle(355), address(345), number(341),
editor(314), type(286), series(249), doi(248),
doi-url(248), note(231), institution(212),
journal(126), school(75), conf-month(21),
conf-year(21), chapter(7), howpublished(7)
- Distribution of publication dates:
-
