O tle Developmet of Reactive Systems: Logic ad Models of Cocurret Systems (0)

by D HAREL, A PNUELI
Venue:Proc. NATO Advanced Study Institute on Logics and Models for Verification and Specification of Concurrent Systems, NATO ASI Series F