Development of a Generic Voter under FoCal (bibtex)
by Philippe Ayrault, Thérèse Hardin, François Pessaux
Reference:
P. Ayrault, T. Hardin and F. Pessaux, "Development of a Generic Voter under FoCal", in Proceedings of the 3rd International Conference on Tests and Proofs, Berlin, Heidelberg: Springer-Verlag, 2009, pp. 10-26.
Bibtex Entry:
@inproceedings{Ayrault:2009:DGV:1575637.1575640,
 author = {Ayrault, Philippe and Hardin, Th{\'e}r\`{e}se and Pessaux, Fran\c{c}ois},
 title = {Development of a Generic Voter under FoCal},
 booktitle = {Proceedings of the 3rd International Conference on Tests and Proofs},
 series = {TAP '09},
 year = {2009},
 isbn = {978-3-642-02948-6},
 location = {Zurich, Switzerland},
 pages = {10--26},
 numpages = {17},
 url = {http://dx.doi.org/10.1007/978-3-642-02949-3_3},
 doi = {10.1007/978-3-642-02949-3_3},
 acmid = {1575640},
 publisher = {Springer-Verlag},
 address = {Berlin, Heidelberg},
 keywords = {FoCal, development cycle, formal methods, voter},
}
Powered by bibtexbrowser