A Brief History of Timed CSP

Detalhes bibliográficos
Principais autores: Davies, J, Schneider, S
Formato: Journal article
Publicado em: 1995