Satisfiability and Resiliency in Workflow Systems

Qihua Wang, Ninghui Li. Satisfiability and Resiliency in Workflow Systems. In Joachim Biskup, Javier Lopez, editors, Computer Security - ESORICS 2007, 12th European Symposium On Research In Computer Security, Dresden, Germany, September 24-26, 2007, Proceedings. Volume 4734 of Lecture Notes in Computer Science, pages 90-105, Springer, 2007. [doi]

@inproceedings{WangL07:27,
  title = {Satisfiability and Resiliency in Workflow Systems},
  author = {Qihua Wang and Ninghui Li},
  year = {2007},
  doi = {10.1007/978-3-540-74835-9_7},
  url = {http://dx.doi.org/10.1007/978-3-540-74835-9_7},
  tags = {workflow},
  researchr = {https://researchr.org/publication/WangL07%3A27},
  cites = {0},
  citedby = {0},
  pages = {90-105},
  booktitle = {Computer Security - ESORICS 2007, 12th European Symposium On Research In Computer Security, Dresden, Germany, September 24-26, 2007, Proceedings},
  editor = {Joachim Biskup and Javier Lopez},
  volume = {4734},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {978-3-540-74834-2},
}