The Collection of
Computer Science Bibliographies

Bibliography of publications from the Specification and Verification Lab, ENS de Cachan

Number of references:	936	Last update:	March 12, 2010
Number of online publications:	917	Supported:	yes
Most recent reference:	June 2010

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

Original source:

http://www.lsv.ens-cachan.fr... (Format: bibtex, compressed with gzip)

Types:: inproceedings(414), techreport(242), article(159), phdthesis(50), mastersthesis(34), incollection(27), proceedings(5), book(4), misc(1)
Fields:: title(936), year(936), author(930), url(916), month(895), abstract(653), pages(563), publisher(547), volume(470), booktitle(447), address(419), number(408), editor(401), doi(343), doi-url(343), type(325), series(314), note(260), institution(242), journal(159), school(84), conf-month(36), conf-year(36), chapter(12), howpublished(7)
Distribution of publication dates: