A really temporal logic

Author: Rajeev Alur T A Henzinger Stanford University. Computer Science Department
Publisher: Dept. of Computer Science Stanford University
Language: English
Edition: Lecture notes
Year: 2007
Page: 26 p. ; 28 cm
File Type: rar
File Size: 5.0 KiB

How to Download?!!!

Just click on START button on Telegram Bot

Free Download Book