Martin Mach
According to our database1,
Martin Mach
authored at least 2 papers
between 2004 and 2019.
Collaborative distances:
Collaborative distances:
Timeline
2004
2006
2008
2010
2012
2014
2016
2018
0
1
2
1
1
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