Join BookitisSave favorites, build lists, and follow creators.

Scott A. Smolka

Author detail

SA
7 featured books

Bookitis has not yet captured a biography for this author, but the catalog links below show the books currently associated with this profile.

OL2670480A

Overview

Catalog identity and bibliographic footprint for this author.

7 representative editions

Author pages in Bookitis are intended to show only works actually attributed to the author and a representative edition for each of those works.

Catalog identity

How this author appears inside the active Bookitis catalog.

  • Display name

    Scott A. Smolka

  • Source identifier

    OL2670480A

Featured books

Representative editions for works actually authored by this person.

Works in catalog

Quick navigation into the work-level grouping pages behind the featured books.

  • Runtime Verification

    Representative edition published 2014

    Open Work
  • Interactive Computation

    Representative edition published 2010

    Open Work
  • Introduction to operating system design and implementation

    Representative edition published 2007

    Open Work
  • Interactive computation

    Representative edition published 2006

    Open Work
  • Handbook of process algebra

    Representative edition published 2001

    Open Work
  • Concur '95 - Concurrency Theory

    Representative edition published 1995

    Open Work
  • OSP

    Representative edition published 1991

    Open Work