• search hit 1 of 1
Back to Result List

Automated Derivation of ILP Implementations from SDL Specifications

Export metadata

Additional Services

Search Google Scholar
Metadaten
Author: Sven Twarok, Peter LangendörferGND, Hartmut KönigGND
ISBN:0-7923-7470-3
Title of the source (English):Formal techniques for networked and distributed systems, FORTE 2001, IFIP TC6/WG6.1 - 21st International Conference on Formal Techniques for Networked and Distributed Systems, August 28 - 31, 2001, Cheju Island, Korea
Publisher:Kluwer
Place of publication:Boston [u.a.]
Editor: Myungchul Kim
Document Type:Conference Proceeding
Language:English
Year of publication:2001
First Page:3
Last Page:18
Faculty/Chair:Fakultät 1 MINT - Mathematik, Informatik, Physik, Elektro- und Informationstechnik / FG Rechnernetze und Kommunikationssysteme
Institution name at the time of publication:Fakultät für Mathematik, Naturwissenschaften und Informatik (eBTU) / LS Rechnernetze und Kommunikationssysteme
Einverstanden ✔
Diese Webseite verwendet technisch erforderliche Session-Cookies. Durch die weitere Nutzung der Webseite stimmen Sie diesem zu. Unsere Datenschutzerklärung finden Sie hier.