Bounded and Approximate Strong Satisfiability in Workflows. / Crampton, Jason; Gutin, Gregory; Majumdar, Diptapriyo.

Proceedings of ACM SACMAT 2019. ACM, 2019. p. 179-184.

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Published

Documents

Original languageEnglish
Title of host publicationProceedings of ACM SACMAT 2019
PublisherACM
Pages179-184
Number of pages6
ISBN (Electronic)978-1-4503-6753-0
DOIs
Publication statusPublished - 28 May 2019
This open access research output is licenced under a Creative Commons Attribution-NonCommercial-NoDerivs 3.0 Unported License.

ID: 33902756