Relating may and must testing semantics for discrete timed process algebras
- Díaz, L.F.L.
- de Frutos Escrig, D.
ISSN: 1611-3349, 0302-9743
ISBN: 9783540668565
Year of publication: 1999
Volume: 1742
Pages: 74-86
Type: Conference paper
ISSN: 1611-3349, 0302-9743
ISBN: 9783540668565
Year of publication: 1999
Volume: 1742
Pages: 74-86
Type: Conference paper