Stem stringent$ (all stems)
1 papers:
DAC-2011-ReimannLGHT #constraints #realtime #string #synthesis- Symbolic system synthesis in the presence of stringent real-time constraints (FR, ML, MG, CH, JT), pp. 393–398.
DAC-2011-ReimannLGHT #constraints #realtime #string #synthesis