Stem coop$ (all stems)
1 papers:
FM-v2-1999-PoizatCR #approach #automaton #concurrent #requirements- From Informal Requirements to COOP: A Concurrent Automata Approach (PP, CC, JCR), pp. 939–962.
FM-v2-1999-PoizatCR #approach #automaton #concurrent #requirements