Bounded and Approximate Strong Satisfiability in Workflows

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

53 Downloads (Pure)

Access to Document

@inproceedings{2815118be15a47619623302b1addf7f8,

title = "Bounded and Approximate Strong Satisfiability in Workflows",

author = "Jason Crampton and Gregory Gutin and Diptapriyo Majumdar",

year = "2019",

month = may,

day = "28",

doi = "10.1145/3322431.3325418",

language = "English",

pages = "179--184",

booktitle = "Proceedings of ACM SACMAT 2019",

publisher = "ACM",

}