Items where Author is "Beyer, Dirk"

Up a level
Export as [feed] RSS 2.0 [feed] RSS 1.0 [feed] Atom
Group by: Item Type | No Grouping
Jump to: Departmental Technical Report
Number of items: 1.

Departmental Technical Report

Beyer, Dirk and Cimatti, Alessandro and Griggio, Alberto and Keremoglu, M. Erkan and Sebastiani, Roberto (2009) Software Model Checking via Large-Block Encoding. UNSPECIFIED. (Unpublished)

This list was generated on Tue Jul 23 01:08:33 2024 CEST.