Divide and compose: SCC refinement for language emptiness

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

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Original languageEnglish
Title of host publicationCONCUR 2001 - Concurrency Theory
Place of PublicationBerlin
PublisherSpringer
Pages456-471
Volume2154
ISBN (Print)978-3-540-42497-0
Publication statusPublished - 2001
EventInternational Conference on Concurrency Theory - Aalborg, Denmark
Duration: 20 Aug 200125 Aug 2001

Publication series

NameLecture notes in computer science
PublisherSpringer

Conference

ConferenceInternational Conference on Concurrency Theory
CountryDenmark
CityAalborg
Period20/08/0125/08/01

Treatment code (Nähere Zuordnung)

  • Application
  • Theoretical

Cite this