Zobrazeno 1 - 1
of 1
pro vyhledávání: '"82-97"'
Publikováno v:
Formal Methods in System Design; Jun2012, Vol. 40 Issue 3, p330-355, 26p