Analysis of symbolic SCC hull algorithms

Roderick Paul Bloem, F. Somenzi, K. Ravi

Research output: Chapter in Book/Report/Conference proceedingConference contributionResearchpeer-review

Original languageEnglish
Title of host publicationInternational Conference on Formal Methods in Computer-Aided Design
EditorsMark D. Aagaard, John W. O’Leary
PublisherSpringer
Pages88-105
Publication statusPublished - 2002
EventInternational Conference on Formal Methods in Computer-Aided Design - Portland, Oregon, United States
Duration: 6 Nov 20028 Nov 2002

Conference

ConferenceInternational Conference on Formal Methods in Computer-Aided Design
CountryUnited States
CityPortland, Oregon
Period6/11/028/11/02

Treatment code (Nähere Zuordnung)

  • Theoretical
  • Application

Cite this

Bloem, R. P., Somenzi, F., & Ravi, K. (2002). Analysis of symbolic SCC hull algorithms. In M. D. Aagaard, & J. W. O’Leary (Eds.), International Conference on Formal Methods in Computer-Aided Design (pp. 88-105). Springer.

Analysis of symbolic SCC hull algorithms. / Bloem, Roderick Paul; Somenzi, F.; Ravi, K.

International Conference on Formal Methods in Computer-Aided Design. ed. / Mark D. Aagaard; John W. O’Leary. Springer, 2002. p. 88-105.

Research output: Chapter in Book/Report/Conference proceedingConference contributionResearchpeer-review

Bloem, RP, Somenzi, F & Ravi, K 2002, Analysis of symbolic SCC hull algorithms. in MD Aagaard & JW O’Leary (eds), International Conference on Formal Methods in Computer-Aided Design. Springer, pp. 88-105, International Conference on Formal Methods in Computer-Aided Design, Portland, Oregon, United States, 6/11/02.
Bloem RP, Somenzi F, Ravi K. Analysis of symbolic SCC hull algorithms. In Aagaard MD, O’Leary JW, editors, International Conference on Formal Methods in Computer-Aided Design. Springer. 2002. p. 88-105
Bloem, Roderick Paul ; Somenzi, F. ; Ravi, K. / Analysis of symbolic SCC hull algorithms. International Conference on Formal Methods in Computer-Aided Design. editor / Mark D. Aagaard ; John W. O’Leary. Springer, 2002. pp. 88-105
@inproceedings{88078f0193274bb09d5da4df4bfc9cef,
title = "Analysis of symbolic SCC hull algorithms",
author = "Bloem, {Roderick Paul} and F. Somenzi and K. Ravi",
note = "LNCS 2517",
year = "2002",
language = "English",
pages = "88--105",
editor = "Aagaard, {Mark D.} and O’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 contribution

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

ER -