Ignore:
Timestamp:
Mar 9, 2012, 3:31:35 PM (12 years ago)
Author:
cecile
Message:

biblio et utf8

File:
1 edited

Legend:

Unmodified
Added
Removed

  • papers/FDL2012/framework.tex

    r56 r57  
    114114
    115115As the abstract model $\widehat{M}$ is generated from the conjunction of verified properties of the components in the concrete model $M$, it can be seen as the composition of the AKS of each property.
    116 The AKS composition has been defined in \cite{these_braunstein}; it extends
     116The AKS composition has been defined in \cite{braunstein_phd07}; it extends
    117117the classical synchrounous composition of Moore machine to deal with
    118118four-valued variables.
Note: See TracChangeset for help on using the changeset viewer.