共 50 条
- [38] Avoiding false negatives in formal verification for protocol-driven blocks 2006 DESIGN AUTOMATION AND TEST IN EUROPE, VOLS 1-3, PROCEEDINGS, 2006, : 1225 - +
- [40] The value of protocol-driven CT scanning in stab wounds to the head AMERICAN JOURNAL OF EMERGENCY MEDICINE, 2002, 20 (04): : 295 - 297