Improving Static Variable Orders Via Invariants - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Gianfranco Ciardo, Gerald Lüttgen, Andy Jinqing Yu. Improving Static Variable Orders Via Invariants. In Jetty Kleijn, Alexandre Yakovlev, editors, Petri Nets and Other Models of Concurrency - ICATPN 2007, 28th International Conference on Applications and Theory of Petri Nets and Other Models of Concurrency, ICATPN 2007, Siedlce, Poland, June 25-29, 2007, Proceedings. Volume 4546 of Lecture Notes in Computer Science, pages 83-103, Springer, 2007. [doi]

This author has not been identified. Look up 'Gianfranco Ciardo' in GoogleThis author has not been identified. Look up 'Gerald Lüttgen' in GoogleThis author has not been identified. Look up 'Andy Jinqing Yu' in Google

runs on WebDSL