S)gecilcatio md Verilcatio o Cocurret Systems i CESAR (0)

by J-P QUEILLE, J SIFAKIS
Venue:Proc. International Symposium on Programming, Springer-Verlag LNCS 137 (982