Stem epr$ (all stems)
3 papers:
- IJCAR-2012-EmmerKKSV #bound #model checking #word
- EPR-Based Bounded Model Checking at Word Level (ME, ZK, KK, CS, AV), pp. 210–224.
- CSCW-2008-JohansenSHEB #quote
- “Garbage in, garbage out”: extracting disease surveillance data from epr systems in primary care (MAJ, JS, PH, GE, JGB), pp. 525–534.
- ICEIS-v3-2004-FerreiraCC #approach
- Securing a Web-Based EPR: An Approach to Secure a Centralized EPR Within a Hospital (AMF, RJCC, AdCP), pp. 54–59.