Boris Boesler

List of publications from the DBLP Bibliography Server - FAQ
Other views: by type - by year (modern) - classic-C

Ask others: ACM DL/Guide -

	2005
b1		Boris Boesler: Codeerzeugung mit Graphersetzung und Lösungsgraphen. Karlsruhe Institute of Technology 2005, isbn 3-8322-4127-2, pp. 1-156
	2002
j1		Sabine Glesner, Rubino Geiß, Boris Boesler: Verified Code Generation for Embedded Systems. Electr. Notes Theor. Comput. Sci. 65(2): 19-36 (2002)

Coauthor Index

1	Rubino Geiß	[j1]
2	Sabine Glesner	[j1]

Last update Thu May 23 10:56:36 2013 CET by the DBLP Team —

Data released under the ODC-BY 1.0 license — See also our legal information page