| Original language | English |
|---|---|
| Title of host publication | Proceedings of ACM SACMAT 2019 |
| Publisher | ACM |
| Pages | 179-184 |
| Number of pages | 6 |
| ISBN (Electronic) | 978-1-4503-6753-0 |
| DOIs | |
| Publication status | Published - 28 May 2019 |
Bounded and Approximate Strong Satisfiability in Workflows
- Jason Crampton
- , Gregory Gutin
- , Diptapriyo Majumdar
Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
70
Downloads
(Pure)