Thomas M. Rudlof

List of publications from the DBLP Bibliography Server - FAQ

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

2001

1 EE Thomas M. Rudlof: SHR Tableaux - A Framework for Automated Model Generation. J. Log. Comput. 11(1): 107-155 (2001)