CSP and timewise refinement

ग्रंथसूची विवरण
मुख्य लेखकों: Roscoe, A, Reed, G, Schneider, S
स्वरूप: Conference item
प्रकाशित: LNCS 1991