Sciweavers

TACAS
2005
Springer

Using Language Inference to Verify Omega-Regular Properties

14 years 4 months ago
Using Language Inference to Verify Omega-Regular Properties
Abhay Vardhan, Koushik Sen, Mahesh Viswanathan, Gu
Added 28 Jun 2010
Updated 28 Jun 2010
Type Conference
Year 2005
Where TACAS
Authors Abhay Vardhan, Koushik Sen, Mahesh Viswanathan, Gul Agha
Comments (0)