[treaty] r876 committed - Reviewed the paper. Added some references, remove some spelling errors...
0 views
Skip to first unread message
tre...@googlecode.com
Dec 17, 2009, 5:46:08 PM12/17/09
to tre...@googlegroups.com
Revision: 876
Author: claas...@gmx.net
Date: Thu Dec 17 14:45:53 2009
Log: Reviewed the paper. Added some references, remove some spelling errors.
http://code.google.com/p/treaty/source/detail?r=876
Author: claas...@gmx.net
Date: Thu Dec 17 14:45:53 2009
Log: Reviewed the paper. Added some references, remove some spelling errors.
http://code.google.com/p/treaty/source/detail?r=876
Modified:
/trunk/docs/CBSE2010/bibliography.bib
/trunk/docs/CBSE2010/eventdrivenverification.tex
Reply all
Reply to author
Forward
0 new messages