| Home |
| About |
| Submission |
| Updating Entries |
| Using Entries |
| Search |
| Statistics |
| Index |
| Download |
Mohammad Abdulaziz
| Website: http://home.in.tum.de/~mansour/ |
Entries
| 2018 |
| October 12: Upper Bounding Diameters of State Spaces of Factored Transition Systems |
| January 11: An Isabelle/HOL formalisation of Green's Theorem |