by Paradowska‐Gorycka, A., Wojtecka‐Lukasik, E., Trefler, J., Wojciechowska, B., Lacki, J. K., Maslinski, S.
Published in Scandinavian journal of immunology (01.08.2010)

by Jaszczyk, B., Trefler, J., Wisłowska, M.
Published in Annals of the rheumatic diseases (01.06.2013)

by Paradowska-Gorycka, A., Trefler, J., Maciejewska-Stelmach, J., Łącki, J. K.
Published in International journal of immunogenetics (01.08.2010)

by Korczowska, I, Przepiera-Bedzak, H, Brzosko, M, Lacki, JK, Trefler, J, Hrycaj, P
Published in Advances in medical sciences (01.12.2011)

by Furst, D., Keystone, E., Kay, J., Jaworski, J., Wojciechowski, R., Wiland, P., Dudek, A., Krogulec, M., Jeka, S., Zielinska, A., Trefler, J., Bartnicka-Masłowska, K., Krajewska-Wlodarczyk, M., Klimiuk, P., Lee, S. J., Kim, S. H., Bae, Y., Yang, G., Yoo, J., Kim, T.
Published in Annals of the rheumatic diseases (01.06.2021)

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 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 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. Allen, Trefler, Richard J., Wahl, Thomas
Published in Formal Methods and Software Engineering (2006)