Zobrazeno 1 - 3
of 3
pro vyhledávání: '"Genon, Alexandre"'
Autor:
Misra, Jayadev, Nipkow, Tobias, Sekerinski, Emil, Genon, Alexandre, Massart, Thierry, Meuter, Cédric
Publikováno v:
FM 2006: Formal Methods; 2006, p557-572, 16p
Publikováno v:
Experimental & Efficient Algorithms; 2005, p177-188, 12p
Publikováno v:
Formal Aspects of Computing; August 2005, Vol. 17 Issue: 2 p177-200, 24p