@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},
}
bibtex
Contact |
Plan du site |
Site réalisé avec SPIP 4.4.28 +
AHUNTSIC
[CC License]
info visites 32363456
|
|
|