ENGLISH

A really temporal logic

By Rajeev Alur; T A Henzinger; Stanford University. Computer Science Department

Book information

Publisher
Dept. of Computer Science Stanford University
Year
2007
Language
english
Format
RAR
Filesize
5 kB (5086 bytes)
Series
Report (Stanford University. Computer Science Department), no. STAN-CS-89-1267
Edition
Lecture notes
Pages
26 p. ; 28 cm\0
Library
Kolxo3
Time added
2013-04-15 18:00:00

Similar books