[marf-cvs] marf/doc/src/tex/common bibliography.bib, 1.9.2.1, 1.9.2.2
Brought to you by:
mokhov
From: Serguei A. M. <mo...@us...> - 2011-01-08 04:26:25
|
Update of /cvsroot/marf/marf/doc/src/tex/common In directory sfp-cvsdas-4.v30.ch3.sourceforge.com:/tmp/cvs-serv20724/marf/doc/src/tex/common Modified Files: Tag: DISTRIBUTED_MARF_0_3_0_INTEGRATION bibliography.bib Log Message: Sync bib. Index: bibliography.bib =================================================================== RCS file: /cvsroot/marf/marf/doc/src/tex/common/Attic/bibliography.bib,v retrieving revision 1.9.2.1 retrieving revision 1.9.2.2 diff -C2 -d -r1.9.2.1 -r1.9.2.2 *** bibliography.bib 23 May 2010 06:51:00 -0000 1.9.2.1 --- bibliography.bib 8 Jan 2011 04:26:17 -0000 1.9.2.2 *************** *** 14,17 **** --- 14,18 ---- %% Nader Hatami %% Lee Wei Huynh + %% Yi Ji %% Michelle Khalife %% Marc-Andre Laverdiere *************** *** 70,73 **** --- 71,75 ---- @string{ieee = "IEEE"} [...4987 lines suppressed...] + note = {Submitted for publication} + } + %% *************** *** 12783,12788 **** title = {{PRISM}: a probabilistic model checker}, howpublished = {[online]}, ! year = {2004--2010}, ! note = {\url{http://www.prismmodelchecker.org/}, last viewed June 2009} } --- 14965,14970 ---- title = {{PRISM}: a probabilistic model checker}, howpublished = {[online]}, ! year = {2004--2011}, ! note = {\url{http://www.prismmodelchecker.org/}, last viewed June 2010} } |