Articles matching “Taentzer”

  1. Christoph Bockisch, Gabriele Taentzer, Nebras Nassar, Lukas Wydra, Java Bytecode Verification with OCL Why, How and Whenc, pp. 3:1-16, PDF, DOI. Volume 19, no. 3 (October 2020)
  2. Stefan John, Alexandru Burdusel, Robert Bill, Daniel Strùˆber, Gabriele Taentzer, Steffen Zschaler, Manuel Wimmer, Searching for Optimal Models: Comparing Two Encoding Approaches, pp. 6:1-22, PDF, DOI. Volume 18, no. 3 (July 2019)
The JOT Journal   |   ISSN 1660-1769   |   DOI 10.5381/jot   |   AITO   |   Open Access   |    Contact