Vytopil-P

发表

Fonnal Methods and Tools for the Development of Distributed and Real Time Systems Computing Science Notes Formal Methods and Tools for the Development of Distributed and Real Time Systems * Spec -esprit Project 3096

A. Pnueli, D. Gabbay, C. Courcoubetis, 2001 .