The Collection of
Computer Science Bibliographies

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

[   About   |  Browse   |   Statistics   ]

Number of references:772Last update:December 14, 2008
Number of online publications:754Supported:yes
Most recent reference:December 2008

Information on the Bibliography

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

Browsing the bibliography

Bibliographic Statistics

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:
Distribution of publication dates

Valid XHTML 1.1!  Valid CSS!