On the expressive power of CSP extended by priority

Bibliografske podrobnosti
Glavni avtor: Roscoe, A
Format: Journal article
Izdano: 2014