Alexander Heußner

List of publications from the DBLP Bibliography Server - FAQ

Ask others: ACM DL/Guide -

- CSB - MetaPress - Google - Bing - Yahoo

2009

2 Alexander Heußner, Tristan Le Gall, Grégoire Sutre: Extrapolation-Based Path Invariants for Abstraction Refinement of Fifo Systems. SPIN 2009: 107-124

2008

1 Alexander Heußner: Conceptual Graphs with Relators and Roles A GFO Coined View onto CG's Relations. ICCS Supplement 2008: 25-32

	2009
2		Alexander Heußner, Tristan Le Gall, Grégoire Sutre: Extrapolation-Based Path Invariants for Abstraction Refinement of Fifo Systems. SPIN 2009: 107-124
	2008
1		Alexander Heußner: Conceptual Graphs with Relators and Roles A GFO Coined View onto CG's Relations. ICCS Supplement 2008: 25-32

Coauthor Index

1 Tristan Le Gall [2]

2 Grégoire Sutre [2]