Discover open access scientific publications

Search, annotate, share and cite publications

Publications by Jeff Templon

Property Specification Made Easy: Harnessing the Power of Model Checking in UML Designs

Lecture Notes in Computer Science

Computer Science

Theoretical Computer Science

English

A Roadmap for HEP Software and Computing R&D for the 2020s

Computing and Software for Big Science

English