Efficient timed model checking for discr
โ
F. Laroussinie; N. Markey; Ph. Schnoebelen
๐
Article
๐
2006
๐
Elsevier Science
๐
English
โ 370 KB