 |
Fakultät für Informatik - Technische Universität MünchenLehrstuhl für Effiziente Algorithmen |
 |
Die bibliographische Datenbank LEABib
Suchen •
Liste der Journale •
Liste der Serien •
Liste der Konferenzen •
Ausgewählte Publikationen  [1]
|
Hilfe 
|
 |
|
| Suche: Author="Yu, Andy Jinqing" |
|
Improving static variable orders via invariants
Gianfranco Ciardo, Gerald Lüttgen, Andy Jinqing Yu
Proceedings of the 28th International Conference on Applications and Theory of Petri Nets and Other Models of Concurrency, ICATPN'2007 (Siedlce, Poland, June 25-29, 2007)
Lecture Notes in Computer Science
4546
, 2007, pp. 83-103
| Editors | Jetty Kleijn, Alex Yakovlev | |
| Publisher: | Springer-Verlag | |
| Address: | Berlin-Heidelberg | |
| URL: |
http://dx.doi.org/10.1007/978-3-540-73094-1_8 | |
|
|
|
|