"Automated Derivation of ILP Implementations from SDL Specifications."

Sven Twarok, Peter Langendörfer, Hartmut König (2001)

Details and statistics

DOI:

access: unavailable

type: Conference or Workshop Paper

metadata version: 2005-07-19