@inproceedings{SKF+:2009,
author = {André Sülflow and Ulrich Kühne and Goerschwin Fey and Daniel Große and Rolf Drechsler},
title = {WoLFram - A Word Level Framework for Formal Verification.},
year = {2009},
pages = {11-17},
note = {gfey, CE},
howpublished = {09-999 SKF+:2009 RSP},
booktitle = {IEEE/IFIP Int'l Symposium on Rapid System Prototyping (RSP)}
}

@COMMENT{Bibtex file generated on 2026-5-22 with typo3 si_bibtex plugin. Data from https://www.tuhh.de/es/home/publications }