Martin Mach
According to our database1,
Martin Mach
authored at least 2 papers
between 2004 and 2019.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
On csauthors.net:
Bibliography
2019
IEEE Trans. Ind. Electron., 2019
2004
Addressing State Explosion in Behavior Protocol Verification.
Proceedings of the 4th IEEE International Workshop on Source Code Analysis and Manipulation (SCAM 2004), 2004