D. Flemming. University of Osnabrück, Germany, (2015)base-search.net (ftunivosnabrueck:oai:osnadocs.ub.uni-osnabrueck.de:urn:nbn:de:gbv:700-2015121613719).
F. Weyers, R. Seiger, and B. Weber. Business Process Management Workshops, volume 460 of Lecture Notes in Business Information Processing, page 76-88. Springer, (2022)
F. Nielson, R. Hansen, and H. Nielson. Protocols, Strands, and Logic, volume 13066 of Lecture Notes in Computer Science, page 312-331. Springer, (2021)
C. Probst, R. Hansen, and F. Nielson. Formal Aspects in Security and Trust, volume 4691 of Lecture Notes in Computer Science, page 127-142. Springer, (2006)
T. Tolstrup, F. Nielson, and R. Hansen. Formal Aspects in Security and Trust, volume 4691 of Lecture Notes in Computer Science, page 185-201. Springer, (2006)