Publications.Home History

Hide minor edits - Show changes to output - Cancel

Changed lines 3-4 from:
This page contains the list of publications that uses XSAP
or describe a functionality that has been integrated in XSAP.
to:
This page contains the list of publications that uses xSAP
or describe a functionality that has been integrated in xSAP.
Deleted lines 8-10:

----
(:comment %rfloat height=40px% {$TopLevelUrl}/images/uc.gif :)
Changed lines 3-4 from:
This page contains the list of publications that uses nuXmv
or describe a functionality that has been integrated in nuXmv.
to:
This page contains the list of publications that uses XSAP
or describe a functionality that has been integrated in XSAP.
Changed lines 3-4 from:
%rfloat height=100px% {$TopLevelUrl}/images/uc.gif
to:
This page contains the list of publications that uses nuXmv
or describe a functionality that has been integrated in nuXmv
.

'''Remark!''' This page is in continuous evolution.

Added lines 10-11:
----
(:comment %rfloat height=40px% {$TopLevelUrl}/images/uc.gif :)
November 06, 2013, at 12:02 PM by 192.168.156.43 -
Deleted lines 5-6:

Page under construction.
June 12, 2011, at 08:04 PM by 94.39.213.133 -
Added lines 3-4:
%rfloat height=100px% {$TopLevelUrl}/images/uc.gif
Deleted line 8:
%rfloat height=175px% {$TopLevelUrl}/images/uc.gif
June 12, 2011, at 07:59 PM by 94.39.213.133 -
Changed line 3 from:
bibtexquery:[paper.bib][FALSE==FALSE))][!$this->get('YEAR')][]
to:
bibtexquery:[paper.bib][(FALSE==FALSE)][!$this->get('YEAR')][]
June 12, 2011, at 07:59 PM by 94.39.213.133 -
Changed line 3 from:
bibtexquery:[paper.bib][((strpos($this->get('AUTHOR'),'Roveri')!==FALSE))][!$this->get('YEAR')][]
to:
bibtexquery:[paper.bib][FALSE==FALSE))][!$this->get('YEAR')][]
June 12, 2011, at 07:54 PM by 94.39.213.133 -
June 12, 2011, at 07:53 PM by 94.39.213.133 -
Added lines 2-4:

bibtexquery:[paper.bib][((strpos($this->get('AUTHOR'),'Roveri')!==FALSE))][!$this->get('YEAR')][]

June 12, 2011, at 07:46 PM by 94.39.213.133 -
Added lines 1-4:
(:title Publications :)
Page under construction.

%rfloat height=175px% {$TopLevelUrl}/images/uc.gif


Page last modified on March 03, 2015, at 09:29 AM