Infoscience

Thesis

Ein heuristisches Baumsuchverfahren der ganzzahligen Programmierung und seine Anwendung zur Erreichbarkeitsanalyse bei Kommunikationsprotokollen

Fulltext

Related material