Peter C. Dillinger

发表

Panagiotis Manolios, Harsh Raju Chamarthi, Peter C. Dillinger, 2014, ACL2.

Panagiotis Manolios, Peter C. Dillinger, P. Manolios, 2004, FMCAD.

Panagiotis Manolios, Harsh Raju Chamarthi, Peter C. Dillinger, 2011, TACAS.

Panagiotis Manolios, Harsh Raju Chamarthi, Peter C. Dillinger, 2011, ACL2.

Panagiotis Manolios, Peter C. Dillinger, P. Manolios, 2009, SPIN.

Panagiotis Manolios, Peter C. Dillinger, P. Manolios, 2010 .

Panagiotis Manolios, Peter C. Dillinger, P. Manolios, 2005, SPIN.

Panagiotis Manolios, Peter C. Dillinger, J Strother Moore, 2007, ICSE Companion.

Panagiotis Manolios, Peter C. Dillinger, J. S. Moore, 2007, 29th International Conference on Software Engineering (ICSE'07 Companion).

Panagiotis Manolios, Peter C. Dillinger, P. Manolios, 2004, SPIN.

Peter C. Dillinger, Lorenz Hübschle-Schneider, Stefan Walzer, 2021, SEA.

Peter C. Dillinger, Stefan Walzer, 2021, ArXiv.

Pedro Reviriego, Peter C. Dillinger, Stefan Walzer, 2021, ArXiv.

Peter C. Dillinger, 2007 .