Stem prs$ (all stems)
2 papers:
- ICALP-v2-2014-YinFHHT #branch #similarity
- Branching Bisimilarity Checking for PRS (QY, YF, CH, MH, XT), pp. 363–374.
- RE-2001-Faulk #approach #case study #product line #requirements #specification
- Product-Line Requirements Specification (PRS): An Approach and Case Study (SRF), pp. 48–55.