Parameterised Verification of Robot Protocols: An Automata Theoretic Approach (bibtex)
by Sasha Rubin
Reference:
Parameterised Verification of Robot Protocols: An Automata Theoretic ApproachSasha Rubin2014, FRIDA Workshop (FLoC 2014).
Bibtex Entry:
@Misc{ws:Rubin14Frida,
title = {Parameterised Verification of Robot Protocols: An Automata Theoretic Approach},
author = {Sasha Rubin},
year = {2014},
OPTmonth = {July},
howpublished = {FRIDA Workshop (FLoC 2014)},
}
Powered by bibtexbrowser