Skip to content

A Structural Linearization Principle for Processes.

Robert P. Kurshan, Michael Merritt, Ariel Orda, Sonia R. Sachs

VenueA*CAV
Year1993
ProceedingsCAV

Browse the full CAV paper archive.