Normal view
MARC view
Logic design(Topical Term)
Machine generated authority record.
Work cat.: (UIAM)485645: International Conference on Concurrency Theory (18th 2007 : Lisbon, Portugal) 17695, CONCUR 2007 – Concurrency Theory :