Summary
This is a publication. If there is no link to the publication on this page, you can try the pre-formated search via the search engines listed on this page.
Authors: Svetlana Jakšić, Martin Leucker, Dan Li, Volker Stolz
Journal title: Kalpa Publications in Computing volume 3
Journal publisher: EasyChair
Published year: 2017
Published pages: 96-85
DOI identifier: 10.29007/gp13