Mike Whalen

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo

2008
1EEJimin Gao, Mike Whalen, Eric Van Wyk: Extending Lustre with Timeout Automata. Electr. Notes Theor. Comput. Sci. 203(4): 111-124 (2008)

Coauthor Index

1Jimin Gao [1]
2Eric Van Wyk [1]

Home | Conferences | Journals | Series | FAQ — Search: Faceted | Complete | Author
Copyright © Tue Nov 18 16:28:55 2008 by Michael Ley (ley@uni-trier.de)