Divide and compose: SCC refinement for language emptiness

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

Publikation: Beitrag in Buch/Bericht/KonferenzbandBeitrag in einem KonferenzbandForschungBegutachtung

Originalspracheenglisch
TitelCONCUR 2001 - Concurrency Theory
ErscheinungsortBerlin
Herausgeber (Verlag)Springer
Seiten456-471
Band2154
ISBN (Print)978-3-540-42497-0
PublikationsstatusVeröffentlicht - 2001
VeranstaltungInternational Conference on Concurrency Theory - Aalborg, Dänemark
Dauer: 20 Aug 200125 Aug 2001

Publikationsreihe

NameLecture notes in computer science
Herausgeber (Verlag)Springer

Konferenz

KonferenzInternational Conference on Concurrency Theory
LandDänemark
OrtAalborg
Zeitraum20/08/0125/08/01

Treatment code (Nähere Zuordnung)

  • Application
  • Theoretical

Dieses zitieren

Wang, C., Bloem, R. P., Hachtel, G. D., Ravi, K., & Somenzi, F. (2001). Divide and compose: SCC refinement for language emptiness. in CONCUR 2001 - Concurrency Theory (Band 2154, S. 456-471). (Lecture notes in computer science). Berlin: Springer.