| Home |
| About |
| Submission |
| Updating Entries |
| Using Entries |
| Search |
| Statistics |
| Index |
| Download |
Markus Müller-Olm
| Website: http://cs.uni-muenster.de/u/mmo/ |
Entries
| 2007 |
| December 14: Formalization of Conflict Analysis of Programs with Procedures, Thread Creation, and Monitors |