Richard A. Kemmerer

Identifiers

• name variant Richard A. Kemmerer 0.60 · backfill

Papers (1)

1. Refinement and Verification of Real-Time Systems cs.LO · 2010 · author #3

Mentions

• 1002.1796 #3 · backfill · confidence 0.70 Richard A. Kemmerer

Frequent Coauthors

• Carlo A. Furia 1 shared papers
• Dino Mandrioli 1 shared papers
• Paul Z. Kolano 1 shared papers