Marco Hollenberg
According to our database1,
Marco Hollenberg
authored at least 9 papers
between 1996 and 2000.
Collaborative distances:
Collaborative distances:
Timeline
1996
1997
1998
1999
2000
0
1
2
3
1
1
1
1
1
1
1
1
1
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
On csauthors.net:
Bibliography
2000
J. Symb. Log., 2000
CWI, ISBN: 978-90-6196-489-6, 2000
1999
Test Templates for Test Generation.
Proceedings of the Testing of Communicating Systems: Method and Applications, 1999
1998
1997
J. Log. Lang. Inf., 1997
Proceedings of the Computer Science Logic, 11th International Workshop, 1997
1996
Uniform Interpolation, Automata and the Modal μ-Calculus.
Proceedings of the Advances in Modal Logic 1, 1996