bibtex

@article{HLL01,
    title = {Verifying Untimed and Timed Aspects of the Experimental Batch Plant },
    author = {Huuck, Ralf and Lukoschus, Ben and Lakhnech, Yassine},
    year = {2001},
    journal = {European Journal of Control},
    number = {4},
    pages = {400-415},
    volume = {7},
    team = {DCS},
}


Contact | Site Map | Site powered by SPIP 4.2.8 + AHUNTSIC [CC License]

info visites 3902276