Author books / Книги автора Rajeev Alur,T A Henzinger,Stanford University. Computer Science Department » Page 3 » Online Library TheLib.net

Online Library TheLib.net » Author books / Книги автора Rajeev Alur,T A Henzinger,Stanford University. Computer Science Department » Page 3

book A really temporal logic

A really temporal logic

rar

Author: Rajeev Alur, T A Henzinger, Stanford University. Computer Science Department
Language: English
Year: 2007

00

27.01.2024

0

0

book A really temporal logic

A really temporal logic

pdf

Author: Rajeev Alur, T A Henzinger, Stanford University. Computer Science Department
Language: English
Year: 2007

00

27.01.2024

0

0

book Automata, Languages and Programming: 38th International Colloquium, ICALP 2011, Zurich, Switzerland, July 4-8, 2011, Proceedings, Part II

Automata, Languages and Programming: 38th International Colloquium, ICALP 2011, Zurich, Switzerland, July 4-8, 2011, Proceedings, Part II

pdf

Author: Rajeev Alur Jyotirmoy V. Deshmukh (auth.) Luca Aceto Monika Henzinger Jiří Sgall (eds.)
Language: English
Year: 2011

00

27.01.2024

0

0

book Formal Modeling and Analysis of Timed Systems: 8th International Conference, FORMATS 2010, Klosterneuburg, Austria, September 8-10, 2010. Proceedings

Formal Modeling and Analysis of Timed Systems: 8th International Conference, FORMATS 2010, Klosterneuburg, Austria, September 8-10, 2010. Proceedings

pdf

Author: Tarek Abdelzaher (auth.) Krishnendu Chatterjee Thomas A. Henzinger (eds.)
Language: English
Year: 2010

00

27.01.2024

0

0

book Automated Technology for Verification and Analysis: 8th International Symposium, ATVA 2010, Singapore, September 21-24, 2010. Proceedings

Automated Technology for Verification and Analysis: 8th International Symposium, ATVA 2010, Singapore, September 21-24, 2010. Proceedings

pdf

Author: Krishnendu Chatterjee Thomas A. Henzinger (auth.) Ahmed Bouajjani Wei-Ngan Chin (eds.)
Language: English
Year: 2010

00

27.01.2024

0

0

book FSTTCS 2005: Foundations of Software Technology and Theoretical Computer Science: 25th International Conference, Hyderabad, India, December 15-18, 2005. Proceedings

FSTTCS 2005: Foundations of Software Technology and Theoretical Computer Science: 25th International Conference, Hyderabad, India, December 15-18, 2005. Proceedings

pdf

Author: Krishnendu Chatterjee Thomas A. Henzinger (auth.) Sundar Sarukkai Sandeep Sen (eds.)
Language: English
Year: 2005

00

27.01.2024

0

0

book FM 2006: Formal Methods: 14th International Symposium on Formal Methods, Hamilton, Canada, August 21-27, 2006. Proceedings

FM 2006: Formal Methods: 14th International Symposium on Formal Methods, Hamilton, Canada, August 21-27, 2006. Proceedings

pdf

Author: Thomas A. Henzinger Joseph Sifakis (auth.) Jayadev Misra Tobias Nipkow Emil Sekerinski (eds.)
Language: English
Year: 2006

00

27.01.2024

0

0

book Formal Modeling and Analysis of Timed Systems: 4th International Conference, FORMATS 2006, Paris, France, September 25-27, 2006. Proceedings

Formal Modeling and Analysis of Timed Systems: 4th International Conference, FORMATS 2006, Paris, France, September 25-27, 2006. Proceedings

pdf

Author: Thomas A. Henzinger Vinayak S. Prabhu (auth.) Eugene Asarin Patricia Bouyer (eds.)
Language: English
Year: 2006

00

27.01.2024

0

0

book Embedded Software: First International Workshop, EMSOFT 2001 Tahoe City, CA, USA, October 8–10, 2001 Proceedings

Embedded Software: First International Workshop, EMSOFT 2001 Tahoe City, CA, USA, October 8–10, 2001 Proceedings

pdf

Author: Perry Alexander Cindy Kong (auth.) Thomas A. Henzinger Christoph M. Kirsch (eds.)
Language: English
Year: 2001

00

27.01.2024

0

0

book Hybrid Systems III: Verification and Control

Hybrid Systems III: Verification and Control

djvu

Author: John Lygeros Datta N. Godbole Shankar Sastry (auth.) Rajeev Alur Thomas A. Henzinger Eduardo D. Sontag (eds.)
Language: English
Year: 1996

00

27.01.2024

0

0