{"_id":"P6Bq6wKNyWApT62n7","bibbaseid":"santos-courtiat-saquisannes-adesignmethodologyfortheformalspecificationandverificationofhypermediadocuments-1998","authorIDs":[],"author_short":["Santos, C. A. S.","Courtiat, J.","Saqui-Sannes, P. d."],"bibdata":{"bibtype":"inproceedings","type":"inproceedings","address":"Deventer, The Netherlands, The Netherlands","series":"FORTE XI / PSTV XVIII '98","title":"A Design Methodology for the Formal Specification and Verification of Hypermedia Documents","isbn":"978-0-412-84760-8","url":"http://dl.acm.org/citation.cfm?id=646216.681846","urldate":"2017-01-24","booktitle":"Proceedings of the FIP TC6 WG6.1 Joint International Conference on Formal Description Techniques for Distributed Systems and Communication Protocols (FORTE XI) and Protocol Specification, Testing and Verification (PSTV XVIII)","publisher":"Kluwer, B.V.","author":[{"propositions":[],"lastnames":["Santos"],"firstnames":["C.","A.","S."],"suffixes":[]},{"propositions":[],"lastnames":["Courtiat"],"firstnames":["Jean-Pierre"],"suffixes":[]},{"propositions":[],"lastnames":["Saqui-Sannes"],"firstnames":["Pierre","de"],"suffixes":[]}],"year":"1998","note":"00008","pages":"163–178","bibtex":"@inproceedings{santos_design_1998-1,\n\taddress = {Deventer, The Netherlands, The Netherlands},\n\tseries = {{FORTE} {XI} / {PSTV} {XVIII} '98},\n\ttitle = {A {Design} {Methodology} for the {Formal} {Specification} and {Verification} of {Hypermedia} {Documents}},\n\tisbn = {978-0-412-84760-8},\n\turl = {http://dl.acm.org/citation.cfm?id=646216.681846},\n\turldate = {2017-01-24},\n\tbooktitle = {Proceedings of the {FIP} {TC6} {WG6}.1 {Joint} {International} {Conference} on {Formal} {Description} {Techniques} for {Distributed} {Systems} and {Communication} {Protocols} ({FORTE} {XI}) and {Protocol} {Specification}, {Testing} and {Verification} ({PSTV} {XVIII})},\n\tpublisher = {Kluwer, B.V.},\n\tauthor = {Santos, C. A. S. and Courtiat, Jean-Pierre and Saqui-Sannes, Pierre de},\n\tyear = {1998},\n\tnote = {00008},\n\tpages = {163--178}\n}\n\n","author_short":["Santos, C. A. S.","Courtiat, J.","Saqui-Sannes, P. d."],"key":"santos_design_1998-1","id":"santos_design_1998-1","bibbaseid":"santos-courtiat-saquisannes-adesignmethodologyfortheformalspecificationandverificationofhypermediadocuments-1998","role":"author","urls":{"Paper":"http://dl.acm.org/citation.cfm?id=646216.681846"},"downloads":0,"html":""},"bibtype":"inproceedings","biburl":"http://www.telemidia.puc-rio.br/~alan/files/all.bib","creationDate":"2020-03-03T14:08:14.446Z","downloads":0,"keywords":[],"search_terms":["design","methodology","formal","specification","verification","hypermedia","documents","santos","courtiat","saqui-sannes"],"title":"A Design Methodology for the Formal Specification and Verification of Hypermedia Documents","year":1998,"dataSources":["jAxurbvLP8q5LTdLa"]}