Hutchison, D., Kanade, T., Kittler, J., Kleinberg, J.M., Mattern, F., Mitchell, J.C., Naor, M., Nierstrasz, O., Rangan, C.P., Steffen, B., Sudan, M., Terzopoulos, D., Tygar, D., Vardi, M.Y., Weikum, G., Derrick, J., Vain, J., Klai, K., Petrucci, L. und Reniers, M. (2007) An Incremental and Modular Technique for Checking LTL∖X Properties of Petri Nets. doi:10.1007/978-3-540-73196-2_18.

Hutchison, David, Takeo Kanade, Josef Kittler, Jon M. Kleinberg, Friedemann Mattern, John C. Mitchell, Moni Naor, Oscar Nierstrasz, C. Pandu Rangan, Bernhard Steffen, Madhu Sudan, Demetri Terzopoulos, Doug Tygar, Moshe Y. Vardi, Gerhard Weikum, John Derrick, Jüri Vain, Kais Klai, Laure Petrucci, und Michel Reniers. An Incremental and Modular Technique for Checking LTL∖X Properties of Petri Nets. https://doi.org/10.1007/978-3-540-73196-2_18.

Hutchison, D., Kanade, T., Kittler, J., Kleinberg, J. M., Mattern, F., Mitchell, J. C., Naor, M., Nierstrasz, O., Rangan, C. P., Steffen, B., Sudan, M., Terzopoulos, D., Tygar, D., Vardi, M. Y., Weikum, G., Derrick, J., Vain, J., Klai, K., Petrucci, L., & Reniers, M. (2007). An Incremental and Modular Technique for Checking LTL∖X Properties of Petri Nets. https://doi.org/10.1007/978-3-540-73196-2_18

Hutchison, D., T. Kanade, J. Kittler, J. M. Kleinberg, F. Mattern, J. C. Mitchell, M. Naor, O. Nierstrasz, C. P. Rangan, B. Steffen, M. Sudan, D. Terzopoulos, D. Tygar, M. Y. Vardi, G. Weikum, J. Derrick, J. Vain, K. Klai, L. Petrucci, und M. Reniers. An Incremental and Modular Technique for Checking LTL∖X Properties of Petri Nets. 2007, https://doi.org/10.1007/978-3-540-73196-2_18.

HUTCHISON, David, Takeo KANADE, Josef KITTLER, Jon M. KLEINBERG, Friedemann MATTERN, John C. MITCHELL, Moni NAOR, Oscar NIERSTRASZ, C. Pandu RANGAN, Bernhard STEFFEN, Madhu SUDAN, Demetri TERZOPOULOS, Doug TYGAR, Moshe Y. VARDI, Gerhard WEIKUM, John DERRICK, Jüri VAIN, Kais KLAI, Laure PETRUCCI und Michel RENIERS, 2007. An Incremental and Modular Technique for Checking LTL∖X Properties of Petri Nets