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

[   About   |  Browse   |   Statistics   ]

Number of references:	30	Last update:	August 13, 1999
Number of online publications:	30	Supported:	yes
Most recent reference:	August 1999

Information on the Bibliography

Author:

Ph. Schnoebelen <phs@lsv.ens-cachan.fr>
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:

techreport(30)

Fields:

abstract(30), address(30), author(30), dmi-category(30), fulladdress(30), institution(30), month(30), note(30), number(30), title(30), type(30), url(30), wwwpublic(30), year(30), keywords(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-1999, Alf-Christian Achilles <achilles@ira.uka.de>. All Rights Reserved.