Bibliography is missing

openETCS / model-evaluation

part of WP7: collects the various activities regarding selecting a tool and formal specification for modeling

13 stars 20 forks source link

Closed MERCEmentre closed 11 years ago

MERCEmentre commented 11 years ago

Bibliography is missing from Event B model documentation.

mgudemann commented 11 years ago

I added the bib file, corrected the \cite commands and updated the pdf. All should be there after an update.

MERCEmentre commented 11 years ago

I confirm. Closing the issue.