Foundations of Software Science and Computational Structures Alfaro, Luca de Digital bok / 2020 / Engelsk
Process Algebra and Probabilistic Methods. Performance Modelling and Verification Joint International Workshop, PAPM-PROBMIV 2001, Aachen, Germany, September 12-14, 2001. Proceedings Alfaro, Luca de Heftet / 2001 / Engelsk
