Formal specification of symbolic-probabilistic systems
ISSN: 0302-9743, 1611-3349
Argitalpen urtea: 2004
Alea: 3236
Orrialdeak: 114-127
Mota: Artikulua
ISSN: 0302-9743, 1611-3349
Argitalpen urtea: 2004
Alea: 3236
Orrialdeak: 114-127
Mota: Artikulua