Christian Hernalsteen
According to our database1,
Christian Hernalsteen
authored at least 4 papers
between 1996 and 1998.
Collaborative distances:
Collaborative distances:
Timeline
1996
1997
1998
0
1
2
3
1
2
1
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
On csauthors.net:
Bibliography
1998
Proceedings of the Proceedings 31st Annual Simulation Symposium (SS '98), 1998
1997
A Timed Automaton Model for ET-LOTOS Verification.
Proceedings of the Formal Description Techniques and Protocol Specification, 1997
Proceedings of the Transformation-Based Reactive Systems Development, 1997
1996
Proceedings of the Proceedings 29st Annual Simulation Symposium (SS '96), 1996