ULB

TUbiblio

Browse by Person

Group by: No Grouping | Item Type | Date | Language

Jump to: 2000

Number of items: 1.

2000

Boßung, Wolfgang ; Geyer, T. ; Wehmeyer, L. ; Huss, Sorin A. (2000)
Specification and validation of information processing systems by process encapsulation and symbolic execution.
Conference or Workshop Item, Bibliographie

This list was generated on Sat Dec 14 00:42:55 2024 CET.

OAI 2.0-Basis-URL: https://tubiblio.ulb.tu-darmstadt.de/cgi/oai2 TUbiblio verwendet EPrints 3.

Drucken |

Impressum |

Datenschutzerklärung