Thomas Böhne

Publication Activity (10 Years)

Years Active: 2002-2002
Publications (10 Years): 0

Publications

Jeffrey Van Baalen, Thomas Böhne
Automated Protocol Analysis in Maude. FAABS (2002)