Tools and Algorithms for the Construction and Analysis of SystemsKurt Jensen, Andreas PodelskiHäftad, 20041 110 kr
Tools and Algorithms for the Construction and Analysis of SystemsAndreas Podelski, Kurt Jensen E-bok20041 455 kr
Transactions on Petri Nets and Other Models of Concurrency VIIKarsten Wolf, Maciej Koutny, Gianfranco Balbo, Wil M. P. van der Aalst, Kurt Jensen E-bok2013732 kr
