Benjamin Aminof

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

2007
3EEBenjamin Aminof, Aniello Murano, Moshe Y. Vardi: Pushdown Module Checking with Imperfect Information. CONCUR 2007: 460-475
2006
2EEBenjamin Aminof, Orna Kupferman: On the Succinctness of Nondeterminism. ATVA 2006: 125-140
2004
1EEBenjamin Aminof, Thomas Ball, Orna Kupferman: Reasoning About Systems with Transition Fairness. LPAR 2004: 194-208

Coauthor Index

1Thomas Ball [1]
2Orna Kupferman [1] [2]
3Aniello Murano [3]
4Moshe Y. Vardi [3]

Copyright © Wed Jul 23 13:04:14 2008 by Michael Ley (ley@uni-trier.de)