Immo Grabe

List of publications from the DBLP Bibliography Server - FAQ

Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo

2007

1 EE Harald Fecher, Immo Grabe: Finite Abstract Models for Deterministic Transition Systems: Fair Parallel Composition and Refinement-Preserving Logic. FSEN 2007: 1-16

2007
1	EE	Harald Fecher, Immo Grabe: Finite Abstract Models for Deterministic Transition Systems: Fair Parallel Composition and Refinement-Preserving Logic. FSEN 2007: 1-16

Coauthor Index

1 Harald Fecher [1]