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

[   About   |  Browse   |   Statistics   ]

Number of references:	395	Last update:	June 24, 2004
Number of online publications:	390	Supported:	yes
Most recent reference:	June 2004

Information on the Bibliography

Author:

Ph. Schnoebelen <phs @ 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

• Original source:

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

Bibliographic Statistics

Types:

inproceedings(167), techreport(107), article(72), misc(40), incollection(5), proceedings(3), book(1)

Fields:

title(395), year(395), author(392), url(390), pages(209), volume(180), booktitle(172), number(167), note(160), publisher(152), month(146), series(121), institution(107), type(107), abstract(105), address(105), fulladdress(103), journal(72), howpublished(40), keywords(20), editor(17), missingpages(13), missingvolume(10), isbn(4), chapter(3), no-url(3), optnote(3), missingurl(2), secondurl(2), lst-status(1), phsnote(1)

Distribution of publication dates:

Please direct comments regarding the bibliography collection to <liinwwwa@ira.uka.de>. This page is part of the Computer Science Bibliography Collection. Copyright © 1994-2004, Alf-Christian Achilles. All Rights Reserved.