Liebling, Thomas M.Baessler, Félix2005-03-162005-03-16199010.5075/epfl-thesis-880https://infoscience.epfl.ch/handle/20.500.14299/209362deEin heuristisches Baumsuchverfahren der ganzzahligen Programmierung und seine Anwendung zur Erreichbarkeitsanalyse bei Kommunikationsprotokollenthesis::doctoral thesis