Martin Toft

According to our database, Martin Toft authored at least 1 paper in 2010.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2010

METAMOC: Modular Execution Time Analysis using Model Checking.

Andreas Engelbredt Dalsgaard, Mads Chr. Olesen, Martin Toft, René Rydhof Hansen, Kim Guldstrand Larsen

Proceedings of the 10th International Workshop on Worst-Case Execution Time Analysis, 2010