Please log in to take part in the discussion (add own reviews or comments).
Cite this publication
More citation styles
- please select -
%0 Conference Paper
%1 conf/forte/SantosCS98
%A Santos, Celso A. S.
%A Courtiat, Jean-Pierre
%A de Saqui-Sannes, Pierre
%B FORTE
%D 1998
%E Budkowski, Stanislaw
%E Cavalli, Ana R.
%E Najm, Elie
%I Kluwer
%K dblp
%P 163-178
%T A Design Methodology for the Formal Specification and Verification of Hypermedia Documents.
%U http://dblp.uni-trier.de/db/conf/forte/forte1998.html#SantosCS98
%V 135
%@ 0-412-84760-4
@inproceedings{conf/forte/SantosCS98,
added-at = {2015-10-19T00:00:00.000+0200},
author = {Santos, Celso A. S. and Courtiat, Jean-Pierre and de Saqui-Sannes, Pierre},
biburl = {https://www.bibsonomy.org/bibtex/2e337b786c58fe01813bef159e0eb0fbf/dblp},
booktitle = {FORTE},
crossref = {conf/forte/1998},
editor = {Budkowski, Stanislaw and Cavalli, Ana R. and Najm, Elie},
interhash = {694acb0c1fa2825383aa8f3a00c4e76c},
intrahash = {e337b786c58fe01813bef159e0eb0fbf},
isbn = {0-412-84760-4},
keywords = {dblp},
pages = {163-178},
publisher = {Kluwer},
series = {IFIP Conference Proceedings},
timestamp = {2015-10-21T11:36:19.000+0200},
title = {A Design Methodology for the Formal Specification and Verification of Hypermedia Documents.},
url = {http://dblp.uni-trier.de/db/conf/forte/forte1998.html#SantosCS98},
volume = 135,
year = 1998
}