Search Results - Open Polar - "model checking"

Select result number 1
1

Author manuscript, published in "ICALP 2008, Reykjavik: Islande (2008)" When does partial commutative closure preserve regularity?

by Antonio Cano, Gómez Giovanna, Guaiana Jean-éric Pin
Published 2008
“... studied [1, 11, 12, 13], notably in connection with regular model checking [2, 3, 7] or in the study...”

Get access
Get access

Text