Formal specification of symbolic-probabilistic systems
ISSN: 0302-9743, 1611-3349
Ano de publicación: 2004
Volume: 3236
Páxinas: 114-127
Tipo: Artigo
ISSN: 0302-9743, 1611-3349
Ano de publicación: 2004
Volume: 3236
Páxinas: 114-127
Tipo: Artigo