Research output: Contribution to journal › Article
Journal | Formal Asp. Comput. |
---|---|
Date | Published - 2011 |
Issue number | 5 |
Volume | 23 |
Number of pages | 4 |
Pages (from-to) | 585-588 |
Original language | Undefined/Unknown |
Find related publications, people, projects, datasets and more using interactive charts.