Pace, G. J., Schneider, G., & Systems, I. C. o. T. a. A. f. t. C. a. A. o. (2008). Computation and visualisation of phase portraits for model checking SPDIs ; Tools and algorithms for the construction and analysis of systems. https://doi.org/10.1007/978-3-540-78800-3_25
Παραπομπή σε μορφή Chicago (17η εκδ.)Pace, Gordon J., Gerardo Schneider, και 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. https://doi.org/10.1007/978-3-540-78800-3_25.
Παραπομπή σε μορφή MLA (9th εκδ.)Pace, Gordon J., et al. Computation and Visualisation of Phase Portraits for Model Checking SPDIs ; Tools and Algorithms for the Construction and Analysis of Systems. 2008. https://doi.org/10.1007/978-3-540-78800-3_25.