CSP and timewise refinement

Detalhes bibliográficos
Principais autores: Roscoe, A, Reed, G, Schneider, S
Formato: Conference item
Publicado em: LNCS 1991