Divide and compose: SCC refinement for language emptiness

C. Wang; Roderick Paul Bloem; G.D. Hachtel; K. Ravi; F. Somenzi

Divide and compose: SCC refinement for language emptiness

C. Wang, Roderick Paul Bloem, G.D. Hachtel, K. Ravi, F. Somenzi

Institute of Software Technology (7160)

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

Original language	English
Title of host publication	CONCUR 2001 - Concurrency Theory
Place of Publication	Berlin
Publisher	Springer
Pages	456-471
Volume	2154
ISBN (Print)	978-3-540-42497-0
Publication status	Published - 2001
Event	International Conference on Concurrency Theory - Aalborg, Denmark Duration: 20 Aug 2001 → 25 Aug 2001

Publication series

Name	Lecture notes in computer science
Publisher	Springer

Conference

Conference	International Conference on Concurrency Theory
Country/Territory	Denmark
City	Aalborg
Period	20/08/01 → 25/08/01

Treatment code (Nähere Zuordnung)

Application
Theoretical

Cite this

@inproceedings{b8642254ef7c4d6198d09aaacc3d49c5,

title = "Divide and compose: SCC refinement for language emptiness",

author = "C. Wang and Bloem, {Roderick Paul} and G.D. Hachtel and K. Ravi and F. Somenzi",

year = "2001",

language = "English",

isbn = "978-3-540-42497-0",

volume = "2154",

series = "Lecture notes in computer science",

publisher = "Springer",

pages = "456--471",

booktitle = "CONCUR 2001 - Concurrency Theory",

note = "International Conference on Concurrency Theory ; Conference date: 20-08-2001 Through 25-08-2001",

}

TY - GEN

T1 - Divide and compose: SCC refinement for language emptiness

AU - Wang, C.

AU - Bloem, Roderick Paul

AU - Hachtel, G.D.

AU - Ravi, K.

AU - Somenzi, F.

PY - 2001

Y1 - 2001

UR - http://www.springerlink.com/content/1evu5xkcp12wd2l7/fulltext.pdf

M3 - Conference paper

SN - 978-3-540-42497-0

VL - 2154

T3 - Lecture notes in computer science

SP - 456

EP - 471

BT - CONCUR 2001 - Concurrency Theory

PB - Springer

CY - Berlin

T2 - International Conference on Concurrency Theory

Y2 - 20 August 2001 through 25 August 2001

ER -

Divide and compose: SCC refinement for language emptiness

Publication series

Conference

Treatment code (Nähere Zuordnung)

Other files and links

Cite this