Publications.Home History

Hide minor edits - Show changes to output - Cancel

Changed line 11 from:
%rfloat height=40px% {$TopLevelUrl}/images/uc.gif
to:
(:comment %rfloat height=40px% {$TopLevelUrl}/images/uc.gif :)
Changed lines 6-7 from:
This page is in continuous evolution. %rfloat height=40px% {$TopLevelUrl}/images/uc.gif
to:
'''Remark!''' This page is in continuous evolution.
Added lines 10-11:
----
%rfloat height=40px% {$TopLevelUrl}/images/uc.gif
Changed lines 3-6 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.

This page is in continuous evolution. %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