Original language | English |
---|---|
Title of host publication | Lecture Notes in Computer Science |
Volume | 5140 |
Publisher | Springer |
Publication date | 2008 |
Pages | 167-183 |
Publication status | Published - 2008 |
Event | 12th International Conference on Algebraic Methodology and Software Technology - Urbana, United States Duration: 28 Jul 2008 → 31 Jul 2008 Conference number: 12 |
Conference
Conference | 12th International Conference on Algebraic Methodology and Software Technology |
---|---|
Number | 12 |
Country/Territory | United States |
City | Urbana |
Period | 28/07/2008 → 31/07/2008 |