Conference Papers
Year : 2009
Jean-Michel Couvreur : Connect in order to contact the contributor
https://hal.science/hal-00468314
Submitted on : Tuesday, March 30, 2010-2:58:26 PM
Last modification on : Thursday, April 4, 2024-11:07:07 AM
Cite
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⟩
Collections
110
View
0
Download