Websites linking back to asimod.in.tum.de
2 websites are linking back to asimod.in.tum.de in their content.
Total results: 2
Domains on this page: 2
Results:
Xavier Leroy - Home pagehttp://portalrankings.com/info/xavierleroy.org
Home page of Xavier Leroy, a computer scientist. Information on Xavier Leroy's research projects, publications, and open-source software.
- Google Analytics code: 109348605-1
- Updated On (Date): 2017-Jul-02
- Expiration time: 2019-May-02
- Website Registered On (Date): 2017-May-02
André Platzer @ Carnegie Mellon Universityhttp://portalrankings.com/info/symbolaris.com
André Platzer, Associate Professor of Computer Science at Carnegie Mellon University. Research, publications, tools, and teaching on logic, computer science, and mathematics. Especially, verification of cyber-physical systems.
- Updated On (Date): 2017-Apr-14
- Expiration time: 2018-Apr-15
- Website Registered On (Date): 2008-Apr-15