Refinement and state machine abstraction
Karl Lermer, Paul StrooperVolume:
266
Année:
2001
Langue:
english
Pages:
41
DOI:
10.1016/s0304-3975(00)00169-9
Fichier:
PDF, 274 KB
english, 2001