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

Sina Bahram Vis

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

*2007
1EEMatthias F. Stallmann, Suzanne Balik, Robert D. Rodman, Sina Bahram, Michael C. Grace, Susan D. High: ProofChecker: an accessible environment for automata theory correctness proofs. ITiCSE 2007: 48-52

Coauthor Index

1Suzanne Balik [1]
2Michael C. Grace [1]
3Susan D. High [1]
4Robert D. Rodman [1]
5Matthias F. Stallmann [1]

Copyright © Tue Nov 3 08:52:44 2009 by Michael Ley (ley@uni-trier.de)