![]() | ![]() |
2007 | ||
---|---|---|
3 | EE | Raffaella Gentilini, Klaus Schneider, B. Mishra: Successive Abstractions of Hybrid Automata for Monotonic CTL Model Checking. LFCS 2007: 224-240 |
2000 | ||
2 | EE | Rene Rasmussen, B. Mishra, Michael C. Mongeon: Using Drum and Flatbed Scanners for Color Image Quality Measurements. PICS 2000: 108-113 |
1 | EE | B. Mishra, Rene Rasmussen: MicroUniformity: An Image Quality Metric For Measuring Noise. PICS 2000: 75-78 |
1 | Raffaella Gentilini | [3] |
2 | Michael C. Mongeon | [2] |
3 | Rene Rasmussen | [1] [2] |
4 | Klaus Schneider | [3] |