bibtex

@inproceedings{HFB93,
    title = { An executable temporal logic to express safety properties and its connection with the language \lustre },
    author = {Halbwachs, Nicolas and Fernandez, Jean-Claude and Bouajjani, Ahmed},
    month = {apr},
    year = {1993},
    booktitle = {Sixth International Symp. on Lucid and Intensional Programming, ISLIP'93},
    address = {Quebec},
    team = {SYNC},
}

info visites 1801187

Browsing