dblp.uni-trier.dewww.uni-trier.de

Heinz Saria

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo

1991
3 Heinz Saria, Heinrich Nirschl, Carl Binding: Mixing LOTOS and SDL Specifications. FORTE 1991: 425-439
1990
2 Josef Hinterplattner, Heinrich Nirschl, Heinz Saria: Process Topology Diagrams. FORTE 1990: 443-458
1989
1 Michael Fastenbauer, Heinz Saria: HCDM/GSDS - A Design Environment for Real-time Software with Automatic Program Generation. ESEC 1989: 324-335

Coauthor Index

1Carl Binding [3]
2Michael Fastenbauer [1]
3Josef Hinterplattner [2]
4Heinrich Nirschl [2] [3]

Colors in the list of coauthors

Copyright © Sun May 17 03:24:02 2009 by Michael Ley (ley@uni-trier.de)