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 contributionResearchpeer-review

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

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 (Vol. 2154, pp. 456-471). (Lecture notes in computer science). Berlin: Springer.