Ryan F. Kirwan
According to our database1,
Ryan F. Kirwan
authored at least 3 papers
between 2013 and 2016.
Collaborative distances:
Collaborative distances:
Timeline
2013
2014
2015
2016
0
1
2
1
1
1
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
On csauthors.net:
Bibliography
2016
Model checking learning agent systems using Promela with embedded C code and abstraction.
Formal Aspects Comput., 2016
2014
2013