O tte Formal Sematics oStatecidarts (0)

by D HAREL, A PNUELI, J PRUZAN-SCHMIDT, R SHERMAN
Venue:Proc. Symposium on Logic in Computer Science