Fixed-Template Promise Model Checking Problems

From MaRDI portal

Fixed-Template Promise Model Checking Problems (scientific article from arXiv)

Jump to:navigation, search

MaRDI QIDQ7142700arXivFDO

Authors Libor Barto, Silvia Butti

Publication date 2022

Published in arXiv

arXiv classification

This page was built for publication: Fixed-Template Promise Model Checking Problems

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q7142700)

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Fixed-Template_Promise_Model_Checking_Problems_(scientific_article_from_arXiv)&oldid=107056115"