PACE, Gordon J., SCHNEIDER, Gerardo und INTERNATIONAL CONFERENCE ON TOOLS AND ALGORITHMS FOR THE CONSTRUCTION AND ANALYSIS OF SYSTEMS, 2008. Computation and visualisation of phase portraits for model checking SPDIs ; Tools and algorithms for the construction and analysis of systems. Springer, Berlin, Heidelberg.
Elsevier - Harvard (with titles)Pace, G.J., Schneider, G., International Conference on Tools and Algorithms for the Construction and Analysis of Systems, 2008. Computation and visualisation of phase portraits for model checking SPDIs ; Tools and algorithms for the construction and analysis of systems. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-78800-3_25
American Psychological Association 7th editionPace, G. J., Schneider, G., & International Conference on Tools and Algorithms for the Construction and Analysis of Systems. (2008). Computation and visualisation of phase portraits for model checking SPDIs ; Tools and algorithms for the construction and analysis of systems. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-78800-3_25
Springer - Basic (author-date)Pace GJ, Schneider G, International Conference on Tools and Algorithms for the Construction and Analysis of Systems (2008) Computation and visualisation of phase portraits for model checking SPDIs ; Tools and algorithms for the construction and analysis of systems. Springer, Berlin, Heidelberg
Juristische Zitierweise (Stüber) (Deutsch)Pace, Gordon J./ Schneider, Gerardo/ International Conference on Tools and Algorithms for the Construction and Analysis of Systems, Computation and visualisation of phase portraits for model checking SPDIs ; Tools and algorithms for the construction and analysis of systems, 2008.