Thomas M. Rudlof

List of publications from the DBLP Bibliography Server - FAQ

Ask others: ACM DL/Guide -

2001

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