Ein heuristisches Baumsuchverfahren der ganzzahligen Programmierung und seine Anwendung zur Erreichbarkeitsanalyse bei Kommunikationsprotokollen
Advisor(s):
Liebling, Thomas M.
Publisher:
Lausanne, EPFL
Laboratories:
Note: The status of this file is: EPFL only
Record created 2005-03-16, last modified 2018-01-27