Sciweavers

Share
AMAI
2006
Springer

Tableau-based automata construction for dynamic linear time temporal logic*

11 years 11 months ago
Tableau-based automata construction for dynamic linear time temporal logic*
We present a tableau-based algorithm for obtaining a B
Laura Giordano, Alberto Martelli
Added 10 Dec 2010
Updated 10 Dec 2010
Type Journal
Year 2006
Where AMAI
Authors Laura Giordano, Alberto Martelli
Comments (0)
books