Stem psyhco$ (all stems)
1 papers:
CAV-2013-AndreLSDL #concurrent #named #parametricity #realtime #synthesis- PSyHCoS: Parameter Synthesis for Hierarchical Concurrent Real-Time Systems (ÉA, YL, JS, JSD, SWL), pp. 984–989.
CAV-2013-AndreLSDL #concurrent #named #parametricity #realtime #synthesis