Timed verification of the generic architecture of
Remy Chevallier, Emmanuelle Encrenaz-Tiphene, Laurent Fribourg, Weiwen XuVolume:
34
Language:
english
Pages:
23
DOI:
10.1007/s10703-008-0061-x
Date:
February, 2009
File:
PDF, 788 KB
english, 2009