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 Konferenzband

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