Rebekah Carter
According to our database1,
Rebekah Carter
authored at least 3 papers
between 2011 and 2016.
Collaborative distances:
Collaborative distances:
Timeline
2011
2012
2013
2014
2015
2016
0
1
2
1
1
1
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
On csauthors.net:
Bibliography
2016
Theor. Comput. Sci., 2016
2012
Dynamically-Driven Timed Automaton Abstractions for Proving Liveness of Continuous Systems.
Proceedings of the Formal Modeling and Analysis of Timed Systems, 2012
2011
Int. J. Syst. Sci., 2011