Skip to Main content Skip to Navigation
Conference papers

On-the-fly Emptiness Check of Transition-Based Streett Automata

Document type :
Conference papers
Complete list of metadatas

https://hal.archives-ouvertes.fr/hal-00468314
Contributor : Jean-Michel Couvreur <>
Submitted on : Tuesday, March 30, 2010 - 2:58:26 PM
Last modification on : Tuesday, May 14, 2019 - 11:00:36 AM

Links full text

Identifiers

Citation

Alexandre Duret-Lutz, Denis Poitrenaud, Jean-Michel Couvreur. On-the-fly Emptiness Check of Transition-Based Streett Automata. 7th International Symposium on Automated Technology for Verification and Analysis, ATVA 2009, Oct 2009, Macao, China. pp.213-227, ⟨10.1007/978-3-642-04761-9_17⟩. ⟨hal-00468314⟩

Share

Metrics

Record views

311