Albert Hoogewijs
According to our database1,
Albert Hoogewijs
authored at least 9 papers
between 1979 and 2006.
Collaborative distances:
Collaborative distances:
Timeline
1980
1985
1990
1995
2000
2005
0
1
2
1
1
1
1
1
1
1
1
1
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
On csauthors.net:
Bibliography
2006
SV<sub>t</sub>L: System Verification Through Logic Tool Support for Verifying Sliced Hierarchical Statecharts.
Proceedings of the Recent Trends in Algebraic Development Techniques, 2006
2004
SIGSAM Bull., 2004
2001
Proceedings of the 31st IEEE International Symposium on Multiple-Valued Logic, 2001
1999
1998
1997
1987
1983
1979