On-The-Fly Path Reduction

by Sebastian Biallas, Jörg Brauer, Dominique Gückel, Stefan Kowalewski
Reference:
On-The-Fly Path Reduction (Sebastian Biallas, Jörg Brauer, Dominique Gückel, Stefan Kowalewski), In Electronic Notes in Theoretical Computer Science, Elsevier, volume 274C, 2011. (4th International Workshop on Harnessing Theories for Tool Support in Software (TTSS 2010))
Bibtex Entry:
@article { BBGK10,
	author = { Biallas, Sebastian and Brauer, J{"o}rg and G{"u}ckel,
		Dominique and Kowalewski, Stefan },
	title = { On-The-Fly Path Reduction },
	journal = { Electronic Notes in Theoretical Computer Science },
	year = { 2011 },
	volume = { 274C },
	pages = { 3--16 },
	publisher = { Elsevier },
	note = { 4th International Workshop on Harnessing Theories for Tool
		Support in Software (TTSS 2010) },
	issn = { 1571-0661 },
	i11key = { conference },
	i11projectkey = { Arcade },
	publishedas = { Online },
	language = { eng },
	url = { http://www.embedded.rwth-aachen.de/lib/exe/fetch.php?media=bib:bbgk10.pdf },
	timestamp = { 2010.10.05 },
	for_reporting_period = { 2010 },
}

Bookmark the permalink.