A formal model of composing components: the TLA+approach
Ondrej Rysavy, Jaroslav RabVolume:
5
Language:
english
Pages:
10
DOI:
10.1007/s11334-009-0089-0
Date:
June, 2009
File:
PDF, 793 KB
english, 2009