ISO-690 (author-date, English)

STÜCKRATH, Jan, 2015. Uncover: Using Coverability Analysis for Verifying Graph Transformation Systems.

Elsevier - Harvard (with titles)

Stückrath, J., 2015. Uncover: Using Coverability Analysis for Verifying Graph Transformation Systems. https://doi.org/10.1007/978-3-319-21145-9_17

American Psychological Association 7th edition

Stückrath, J. (2015). Uncover: Using Coverability Analysis for Verifying Graph Transformation Systems. https://doi.org/10.1007/978-3-319-21145-9_17

Springer - Basic (author-date)

Stückrath J (2015) Uncover: Using Coverability Analysis for Verifying Graph Transformation Systems

Juristische Zitierweise (Stüber) (Deutsch)

Stückrath, Jan, Uncover: Using Coverability Analysis for Verifying Graph Transformation Systems., 2015.

Bitte prüfen Sie die Zitate auf Korrektheit, bevor Sie diese in Ihre Arbeit einfügen.