# | | Year | | Title | Type | |
3 |
| Madden [-] |
| |
1 |
| |
1 |
| Madden, Bundy, Smaill [Bundy, Smaill] |
| |
1 |
| |
3 |
| Maier [-] |
| |
| | 2004 | | Intuitionistic LTL and a New Characterization of Safety and Liveness | Report | |
| | 2003 | | A Lattice-Theoretic Framework For Circular Assume-Guarantee Reasoning
Universität des Saarlandes | Thesis - PhD thesis | |
| | 2002 | | A Framework for Circular Assume-Guarantee Rules
In: Symposium on the Effectiveness of Logic in Computer Science in Honour of Moshe Vardi, 55-58 | Proceedings Article | |
1 |
| Maier [Gordon] |
| |
1 |
| Maier [Marcinkowski, Tarlecki] |
| |
1 |
| Maier [Orejas, Spirakis, van Leeuwen] |
| |
2 |
| Makinson, van der Torre [Makinson] |
| |
1 |
| Malkis, Podelski, Rybalchenko [Barkaoui, Cavalcanti, Cerone] |
| |
1 |
| Malkis, Podelski, Rybalchenko [Gopalakrishnan, O'Leary] |
| |
5 |
| Matthews [-] |
| |
2 |
| |
1 |
| Matthews, Simpson [Simpson] |
| |
1 |
| Matthews, Smaill, Basin [-] |
| |
1 |
| Meter [-] |
| |
2 |
| |
1 |
| Meyer, Faber, Rybalchenko [Meyer, Faber, Barkaoui, Cavalcanti, Cerone] |
| |
1 |
| |
1 |
| Mukhopadhyay [-] |
| |
2 |
| Mukhopadhyay, Podelski [-] |
| |
1 |
| Mukhopadhyay, Podelski [Koenig, Holte] |
| |
1 |
| Mukhopadhyay, Podelski [Ramakrishnan] |
| |
1 |
| Mukhopadhyay, Podelski [Ramanujam, Raman] |
| |
1 |
| Müller, Niehren, Podelski [Müller, Niehren, Bidoit, Dauchet] |
| |
1 |
| Müller, Niehren, Podelski [Müller, Niehren, Smolka] |
| |
1 |
| Müller, Niehren, Podelski [Müller, Niehren] |
| |