by EMERSON, E. Allen, TREFLER, Richard J, WAHL, Thomas
Published in Lecture notes in computer science (2006)

by Namjoshi, Kedar S., Trefler, Richard J.
Published in Tools and Algorithms for the Construction and Analysis of Systems (2016)

by Namjoshi, Kedar S., Trefler, Richard J.
Published in Formal Techniques for Distributed Objects, Components, and Systems (2015)

by Namjoshi, Kedar S., Trefler, Richard J.
Published in Verification, Model Checking, and Abstract Interpretation (2013)

by Namjoshi, Kedar S., Trefler, Richard J.
Published in Tools and Algorithms for the Construction and Analysis of Systems (2015)

by Namjoshi, Kedar S., Trefler, Richard J.
Published in Verification, Model Checking, and Abstract Interpretation (2012)

by Namjoshi, Kedar S, Trefler, Richard J
Year of Publication 25.03.2019

by Namjoshi, Kedar S, Trefler, Richard J
Published in arXiv.org (25.03.2019)

by Emerson, E.A., Havlicek, J.W., Trefler, R.J.
Published in Proceedings Fifteenth Annual IEEE Symposium on Logic in Computer Science (Cat. No.99CB36332) (2000)

by Emerson, E. Allen, Trefler, Richard J., Wahl, Thomas
Published in Formal Methods and Software Engineering (2006)