JVM independent replay in java (2005)

by V Schuppan, M Baur, A Biere
Venue:Electronic Notes in Theoretical Computer Science