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

Aurel Cornell

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

2002
3 David J. Serr, Aurel Cornell: A Language Independent Tool for Documentation Extraction. Computers and Their Applications 2002: 253-256
1993
2 Aurel Cornell, John Knaack, A. Nangia, Teodor Rus: Real-Time Program Synthesis from Specifications. AMAST 1993: 237-244
1991
1 Aurel Cornell: Type Consistency Checking for Concurrent Independent Processes. AMAST 1991: 132-141

Coauthor Index

1John Knaack [2]
2A. Nangia [2]
3Teodor Rus [2]
4David J. Serr [3]

Colors in the list of coauthors

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