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: 433
File Type: pdf
File Size: 2.3 MiB

How to Download?!!!

Just click on START button on Telegram Bot

Free Download Book