Compositional failure-based semantic models for Basic LOTOS
Antti Valmari, Martti TienariVolume:
7
Year:
1995
Language:
english
Pages:
29
DOI:
10.1007/bf01211218
File:
PDF, 1.84 MB
english, 1995