TFL RR¤Proving semantic correspondence between temporal properties of SDL and temporal properties of a process algebra
0,00 kr
På lager
ISBN
1214855