The Collection of
Computer Science Bibliographies

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

Number of references:	1219	Last update:	January 13, 2012
Number of online publications:	1195	Supported:	yes
Most recent reference:	January 2012

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(557), techreport(286), article(209), phdthesis(67), mastersthesis(46), incollection(35), book(9), proceedings(8), misc(2)
Fields:: title(1219), year(1219), author(1210), url(1191), month(1165), abstract(872), pages(735), publisher(728), volume(613), booktitle(601), address(562), editor(528), doi(519), doi-url(519), number(503), series(413), type(398), note(301), institution(286), journal(209), school(113), conf-month(39), conf-year(39), chapter(14), howpublished(8), edition(1)
Distribution of publication dates: