Practical Probability: Applying pGCL to Lattice Scheduling

Interactive Theorem Proving - Lecture Notes in Computer Science ◽

10.1007/978-3-642-39634-2_23 ◽

2013 ◽

pp. 311-327 ◽

Cited By ~ 2

Author(s):

David Cock

Download Full-text