Patrick Hütten

List of publications from the DBLP Bibliography Server - FAQ

Ask others: ACM DL/Guide -

- CSB - MetaPress - Google - Bing - Yahoo

2003

1 Nico Wallmeier, Patrick Hütten, Wolfgang Thomas: Symbolic Synthesis of Finite-State Controllers for Request-Response Specifications. CIAA 2003: 11-22

	2003
1		Nico Wallmeier, Patrick Hütten, Wolfgang Thomas: Symbolic Synthesis of Finite-State Controllers for Request-Response Specifications. CIAA 2003: 11-22

Coauthor Index

1 Wolfgang Thomas [1]

2 Nico Wallmeier [1]