A. E. Lindsey

List of publications from the DBLP Bibliography Server - FAQ

Ask others: ACM DL/Guide -

2004

1 A. E. Lindsey, Charles Pecheur: Simulation-Based Verification of Autonomous Controllers via Livingstone PathFinder. TACAS 2004: 357-371

	2004
1		A. E. Lindsey, Charles Pecheur: Simulation-Based Verification of Autonomous Controllers via Livingstone PathFinder. TACAS 2004: 357-371

Coauthor Index