Katrine Ravn
According to our database1,
Katrine Ravn
authored at least 3 papers
in 2001.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
On csauthors.net:
Bibliography
2001
CPN/Tools: A Tool for Editing and Simulating Coloured Petri Nets ETAPS Tool Demonstration Related to TACAS.
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2001
Proceedings of the CHI 2001 Extended Abstracts on Human Factors in Computing Systems, 2001
Proceedings of the Application and Theory of Petri Nets 2001, 2001