Analysis of symbolic SCC hull algorithms

Roderick Paul Bloem, F. Somenzi, K. Ravi

Research output: Chapter in Book/Report/Conference proceeding › Conference paper › peer-review

Original language	English
Title of host publication	International Conference on Formal Methods in Computer-Aided Design
Editors	Mark D. Aagaard, John W. O’Leary
Publisher	Springer
Pages	88-105
Publication status	Published - 2002
Event	International Conference on Formal Methods in Computer-Aided Design - Portland, Oregon, United States Duration: 6 Nov 2002 → 8 Nov 2002

Conference	International Conference on Formal Methods in Computer-Aided Design
Country/Territory	United States
City	Portland, Oregon
Period	6/11/02 → 8/11/02

Treatment code (Nähere Zuordnung)

@inproceedings{88078f0193274bb09d5da4df4bfc9cef,

title = "Analysis of symbolic SCC hull algorithms",

author = "Bloem, {Roderick Paul} and F. Somenzi and K. Ravi",

note = "LNCS 2517; International Conference on Formal Methods in Computer-Aided Design ; Conference date: 06-11-2002 Through 08-11-2002",

year = "2002",

language = "English",

pages = "88--105",

editor = "Aagaard, {Mark D.} and O{\textquoteright}Leary, {John W.}",

booktitle = "International Conference on Formal Methods in Computer-Aided Design",

publisher = "Springer",

}

TY - GEN

T1 - Analysis of symbolic SCC hull algorithms

AU - Bloem, Roderick Paul

AU - Somenzi, F.

AU - Ravi, K.

N1 - LNCS 2517

PY - 2002

Y1 - 2002

M3 - Conference paper

SP - 88

EP - 105

BT - International Conference on Formal Methods in Computer-Aided Design

A2 - Aagaard, Mark D.

A2 - O’Leary, John W.

PB - Springer

T2 - International Conference on Formal Methods in Computer-Aided Design

Y2 - 6 November 2002 through 8 November 2002

ER -