Jeremy A. Templeton

List of publications from the DBLP Bibliography Server - FAQ

Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo

2005

1 EE Ian M. Mitchell, Jeremy A. Templeton: A Toolbox of Hamilton-Jacobi Solvers for Analysis of Nondeterministic Continuous and Hybrid Systems. HSCC 2005: 480-494

2005
1	EE	Ian M. Mitchell, Jeremy A. Templeton: A Toolbox of Hamilton-Jacobi Solvers for Analysis of Nondeterministic Continuous and Hybrid Systems. HSCC 2005: 480-494

Coauthor Index

1 Ian M. Mitchell (Ian Mitchell) [1]