M. Oliver Mller
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
3
Venues
3
Active years
1997–2002
Best venue rank
A*
Where they publish
Papers
3 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2002 | FASE | Formal Verification of UML Statecharts with Real-Time Extensions. | Alexandre David, M. Oliver Mller, Wang Yi |
| 1998 | FMCAD | Solving Bit-Vector Equations. | M. Oliver Mller, Harald Rue |
| 1997 | CAV | An Efficient Decision Procedure for the Theory of Fixed-Sized Bit-Vectors. | David Cyrluk, M. Oliver Mller, Harald Rue |