Publications :: Search

Publication properties
Title:	A Technique for Invariant Generation.
Rating:	(not rated yet)
Discussion:	0 comments
Date:	2001
Publication type:	Conference paper
Authors:	No. First name Last name Show 1. Ashish Tiwari 2. Harald Rueß 3. Hassen Saïdi 4. Natarajan Shankar
Download (by DOI):	link/service
BibTeX:	conf/tacas/TiwariRSS01
DBLP:	db/conf/tacas/tacas2001.html#TiwariRSS01
Bookmark:

The following keywords have been assigned to this publication so far. If you have logged in, you can tag this publication with additional keywords.

If you log in you can tag this publication with additional keywords

A publication can refer to another publication (outgoing references) or it can be referred to by other publications (incoming references).

If you log in you can add references to other publications

A publication can be assigned to a conference, a journal or a school.

Conference
Name:	Tools and Algorithms for the Construction and Analysis of Systems, 7th International Conference, TACAS 2001 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2001 Genova, Italy, April 2-6, 2001, Proceedings 2001
DBLP:	db/conf/tacas/tacas2001.html