VM Independent Replay in Java

Armin Biere, Victor Schuppan, M Baur

Research output: Chapter in Book/Report/Conference proceeding › Conference proceedings › peer-review

Original languageEnglish
Title of host publicationElectronic Notes in Theoretical Computer Science (ENTCS)
PublisherElsevier
Number of pages20
Volume113
Publication statusPublished - 2005

Fields of science

  • 102 Computer Sciences
  • 102001 Artificial intelligence
  • 102011 Formal languages
  • 102022 Software development
  • 102031 Theoretical computer science
  • 603109 Logic
  • 202006 Computer hardware

Cite this