autore : Amir Pnueli

2 pubblicazioni
page_white_acrobat On the Development of Reactive Systems (NATO ASI 1984) — David Harel, Amir Pnueli