|
2026 Other Outputs A hybrid model for a concurrent refinement algebraHeiner, Scott (2026). A hybrid model for a concurrent refinement algebra. PhD Thesis, School of Electrical Engineering and Computer Science, The University of Queensland. doi: 10.14264/3b19946 |
