Browse by Person

View wider browse menu Up a level
[feed] Atom [feed] RSS 1.0 [feed] RSS 2.0
Group by: Item Type | No Grouping
Number of items: 1.

Proceedings Paper

Foster, Simon, Thiele, Bernhard, Cavalcanti, Ana et al. (1 more author) (2017) Towards a UTP semantics for modelica. In: Bowen, Jonathan P. and Zhu, Huibiao, (eds.) Unifying Theories of Programming - 6th International Symposium, UTP 2016, Revised Selected Papers. 6th International Symposium on Unifying Theories of Programming, UTP 2016, 04-05 Jun 2016. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) . Springer Verlag , ISL , pp. 44-64.

This list was generated on Mon Oct 19 04:47:07 2020 BST.