Search dblp for Publications

export results for "toc:db/conf/forte/forte1988.bht:"

 download as .bib file

@proceedings{DBLP:conf/forte/1988,
  editor       = {Kenneth J. Turner},
  title        = {Formal Description Techniques, Proceedings of the First International
                  Conference on Formal Description Techniques, Stirling, Scotland, UK,
                  6-9 September, 1988},
  publisher    = {North-Holland},
  year         = {1989},
  isbn         = {0-444-87126-8},
  timestamp    = {Thu, 03 Jan 2002 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/forte/1988.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/forte/Atlevi88,
  author       = {Michael Atlevi},
  editor       = {Kenneth J. Turner},
  title        = {{SDT} - The {SDL} Design Tool},
  booktitle    = {Formal Description Techniques, Proceedings of the First International
                  Conference on Formal Description Techniques, Stirling, Scotland, UK,
                  6-9 September, 1988},
  pages        = {55--59},
  publisher    = {North-Holland},
  year         = {1988},
  timestamp    = {Thu, 03 Jan 2002 11:58:39 +0100},
  biburl       = {https://dblp.org/rec/conf/forte/Atlevi88.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/forte/AujlaF88,
  author       = {Sukhvinder S. Aujla and
                  Matthew Fletcher},
  editor       = {Kenneth J. Turner},
  title        = {The Boyer-Moore Theorem-Prover and {LOTOS}},
  booktitle    = {Formal Description Techniques, Proceedings of the First International
                  Conference on Formal Description Techniques, Stirling, Scotland, UK,
                  6-9 September, 1988},
  pages        = {169--183},
  publisher    = {North-Holland},
  year         = {1988},
  timestamp    = {Thu, 03 Jan 2002 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/forte/AujlaF88.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/forte/AyacheDHM88,
  author       = {Jean{-}Michel Ayache and
                  Jean Dufau and
                  Michel Huybrechts and
                  Eric Mattera},
  editor       = {Kenneth J. Turner},
  title        = {{EWS} - An Integrated Workstation for the Design and the Automatic
                  Generation of Distributed Software},
  booktitle    = {Formal Description Techniques, Proceedings of the First International
                  Conference on Formal Description Techniques, Stirling, Scotland, UK,
                  6-9 September, 1988},
  pages        = {85--89},
  publisher    = {North-Holland},
  year         = {1988},
  timestamp    = {Thu, 03 Jan 2002 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/forte/AyacheDHM88.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/forte/BelinaHT88,
  author       = {Ferenc Belina and
                  Dieter Hogrefe and
                  Sebastiano Triglia},
  editor       = {Kenneth J. Turner},
  title        = {Modelling {OSI} in {SDL}},
  booktitle    = {Formal Description Techniques, Proceedings of the First International
                  Conference on Formal Description Techniques, Stirling, Scotland, UK,
                  6-9 September, 1988},
  pages        = {135--142},
  publisher    = {North-Holland},
  year         = {1988},
  timestamp    = {Thu, 03 Jan 2002 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/forte/BelinaHT88.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/forte/Bogaards88,
  author       = {Kees Bogaards},
  editor       = {Kenneth J. Turner},
  title        = {LOTOS-Supported System Development},
  booktitle    = {Formal Description Techniques, Proceedings of the First International
                  Conference on Formal Description Techniques, Stirling, Scotland, UK,
                  6-9 September, 1988},
  pages        = {279--294},
  publisher    = {North-Holland},
  year         = {1988},
  timestamp    = {Thu, 03 Jan 2002 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/forte/Bogaards88.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/forte/BolognesiC88,
  author       = {Tommaso Bolognesi and
                  Maurizio Caneve},
  editor       = {Kenneth J. Turner},
  title        = {Squiggles - {A} Tool for the Analysis of {LOTOS} Specifications},
  booktitle    = {Formal Description Techniques, Proceedings of the First International
                  Conference on Formal Description Techniques, Stirling, Scotland, UK,
                  6-9 September, 1988},
  pages        = {201--216},
  publisher    = {North-Holland},
  year         = {1988},
  timestamp    = {Thu, 03 Jan 2002 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/forte/BolognesiC88.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/forte/BustardWNOP88,
  author       = {David W. Bustard and
                  Adam C. Winstanley and
                  Mark T. Norris and
                  Rodney A. Orr and
                  S. Patel},
  editor       = {Kenneth J. Turner},
  title        = {Graphical Views of Process-Orientated Specifications},
  booktitle    = {Formal Description Techniques, Proceedings of the First International
                  Conference on Formal Description Techniques, Stirling, Scotland, UK,
                  6-9 September, 1988},
  pages        = {143--156},
  publisher    = {North-Holland},
  year         = {1988},
  timestamp    = {Mon, 14 Sep 2015 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/forte/BustardWNOP88.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/forte/CostaNR88,
  author       = {Francesco Costa and
                  Daniela Nardi and
                  Roberto Rinaldi},
  editor       = {Kenneth J. Turner},
  title        = {{SDS} - {A} LOTOS-Based Tool for Symbolic Debugging},
  booktitle    = {Formal Description Techniques, Proceedings of the First International
                  Conference on Formal Description Techniques, Stirling, Scotland, UK,
                  6-9 September, 1988},
  pages        = {327--336},
  publisher    = {North-Holland},
  year         = {1988},
  timestamp    = {Thu, 03 Jan 2002 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/forte/CostaNR88.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/forte/FavreauLG88,
  author       = {Jean Philippe Favreau and
                  Richard J. Linn Jr. and
                  Philip Gaudette},
  editor       = {Kenneth J. Turner},
  title        = {Application of Formal Description Techniques to Conformance Evaluation},
  booktitle    = {Formal Description Techniques, Proceedings of the First International
                  Conference on Formal Description Techniques, Stirling, Scotland, UK,
                  6-9 September, 1988},
  pages        = {295--309},
  publisher    = {North-Holland},
  year         = {1988},
  timestamp    = {Thu, 03 Jan 2002 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/forte/FavreauLG88.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/forte/FreestoneA88,
  author       = {David Freestone and
                  Sukhvinder S. Aujla},
  editor       = {Kenneth J. Turner},
  title        = {Specifying {ROSE} in {LOTOS}},
  booktitle    = {Formal Description Techniques, Proceedings of the First International
                  Conference on Formal Description Techniques, Stirling, Scotland, UK,
                  6-9 September, 1988},
  pages        = {231--245},
  publisher    = {North-Holland},
  year         = {1988},
  timestamp    = {Thu, 03 Jan 2002 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/forte/FreestoneA88.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/forte/GaudetteTC88,
  author       = {Philip Gaudette and
                  Steve Trus and
                  Sarah Collins},
  editor       = {Kenneth J. Turner},
  title        = {An Object-Oriented Model for {ASN.1}},
  booktitle    = {Formal Description Techniques, Proceedings of the First International
                  Conference on Formal Description Techniques, Stirling, Scotland, UK,
                  6-9 September, 1988},
  pages        = {121--134},
  publisher    = {North-Holland},
  year         = {1988},
  timestamp    = {Thu, 03 Jan 2002 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/forte/GaudetteTC88.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/forte/Gilbert88,
  author       = {David R. Gilbert},
  editor       = {Kenneth J. Turner},
  title        = {A {LOTOS} to {PARLOG} Translator},
  booktitle    = {Formal Description Techniques, Proceedings of the First International
                  Conference on Formal Description Techniques, Stirling, Scotland, UK,
                  6-9 September, 1988},
  pages        = {31--44},
  publisher    = {North-Holland},
  year         = {1988},
  timestamp    = {Wed, 08 Apr 2015 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/forte/Gilbert88.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/forte/GuillemotL88,
  author       = {Renaud Guillemot and
                  Luigi Logrippo},
  editor       = {Kenneth J. Turner},
  title        = {Derivation of Useful Execution Trees from {LOTOS} by using an Interpreter},
  booktitle    = {Formal Description Techniques, Proceedings of the First International
                  Conference on Formal Description Techniques, Stirling, Scotland, UK,
                  6-9 September, 1988},
  pages        = {311--325},
  publisher    = {North-Holland},
  year         = {1988},
  timestamp    = {Thu, 03 Jan 2002 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/forte/GuillemotL88.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/forte/HogrefeS88,
  author       = {Dieter Hogrefe and
                  Amardeo Sarma},
  editor       = {Kenneth J. Turner},
  title        = {Non-Determinism and {SDL}},
  booktitle    = {Formal Description Techniques, Proceedings of the First International
                  Conference on Formal Description Techniques, Stirling, Scotland, UK,
                  6-9 September, 1988},
  pages        = {157--167},
  publisher    = {North-Holland},
  year         = {1988},
  timestamp    = {Thu, 03 Jan 2002 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/forte/HogrefeS88.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/forte/Hulzen88,
  author       = {Wilfried H. P. van Hulzen},
  editor       = {Kenneth J. Turner},
  title        = {{LOTTE} - {A} {LOTOS} Environment},
  booktitle    = {Formal Description Techniques, Proceedings of the First International
                  Conference on Formal Description Techniques, Stirling, Scotland, UK,
                  6-9 September, 1988},
  pages        = {61--65},
  publisher    = {North-Holland},
  year         = {1988},
  timestamp    = {Thu, 03 Jan 2002 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/forte/Hulzen88.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/forte/Johnston88,
  author       = {Stuart G. Johnston},
  editor       = {Kenneth J. Turner},
  title        = {{SPIDER} - Service and Protocol Interactive Development Environment},
  booktitle    = {Formal Description Techniques, Proceedings of the First International
                  Conference on Formal Description Techniques, Stirling, Scotland, UK,
                  6-9 September, 1988},
  pages        = {67--71},
  publisher    = {North-Holland},
  year         = {1988},
  timestamp    = {Thu, 03 Jan 2002 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/forte/Johnston88.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/forte/Karjoth88,
  author       = {G{\"{u}}nter Karjoth},
  editor       = {Kenneth J. Turner},
  title        = {A LISP-Based {LOTOS} Environment},
  booktitle    = {Formal Description Techniques, Proceedings of the First International
                  Conference on Formal Description Techniques, Stirling, Scotland, UK,
                  6-9 September, 1988},
  pages        = {73--77},
  publisher    = {North-Holland},
  year         = {1988},
  timestamp    = {Thu, 03 Jan 2002 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/forte/Karjoth88.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/forte/LagemaatS88,
  author       = {Jeroen van de Lagemaat and
                  Giuseppe Scollo},
  editor       = {Kenneth J. Turner},
  title        = {On the Use of {LOTOS} for the Formal Description of a Transport Protocol},
  booktitle    = {Formal Description Techniques, Proceedings of the First International
                  Conference on Formal Description Techniques, Stirling, Scotland, UK,
                  6-9 September, 1988},
  pages        = {247--261},
  publisher    = {North-Holland},
  year         = {1988},
  timestamp    = {Thu, 03 Jan 2002 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/forte/LagemaatS88.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/forte/ManasM88,
  author       = {Jos{\'{e}} A. Ma{\~{n}}as and
                  Tom{\'{a}}s de Miguel},
  editor       = {Kenneth J. Turner},
  title        = {From {LOTOS} to {C}},
  booktitle    = {Formal Description Techniques, Proceedings of the First International
                  Conference on Formal Description Techniques, Stirling, Scotland, UK,
                  6-9 September, 1988},
  pages        = {79--84},
  publisher    = {North-Holland},
  year         = {1988},
  timestamp    = {Thu, 03 Jan 2002 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/forte/ManasM88.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/forte/MastersonIH88,
  author       = {J. J. Masterson and
                  K. P. Ishaq and
                  A. T. Hockley},
  editor       = {Kenneth J. Turner},
  title        = {An Approach to providing Support Tools for Formal Specification},
  booktitle    = {Formal Description Techniques, Proceedings of the First International
                  Conference on Formal Description Techniques, Stirling, Scotland, UK,
                  6-9 September, 1988},
  pages        = {1--14},
  publisher    = {North-Holland},
  year         = {1988},
  timestamp    = {Thu, 03 Jan 2002 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/forte/MastersonIH88.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/forte/Mayr88,
  author       = {Thomas Mayr},
  editor       = {Kenneth J. Turner},
  title        = {Specification of Object-Oriented Systems in {LOTOS}},
  booktitle    = {Formal Description Techniques, Proceedings of the First International
                  Conference on Formal Description Techniques, Stirling, Scotland, UK,
                  6-9 September, 1988},
  pages        = {107--119},
  publisher    = {North-Holland},
  year         = {1988},
  timestamp    = {Thu, 03 Jan 2002 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/forte/Mayr88.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/forte/PhalippouG88,
  author       = {Marc Phalippou and
                  Roland Groz},
  editor       = {Kenneth J. Turner},
  title        = {Using Estelle for Verification - An Experience with the {T.70} Teletex
                  Transport Protocol},
  booktitle    = {Formal Description Techniques, Proceedings of the First International
                  Conference on Formal Description Techniques, Stirling, Scotland, UK,
                  6-9 September, 1988},
  pages        = {185--199},
  publisher    = {North-Holland},
  year         = {1988},
  timestamp    = {Thu, 03 Jan 2002 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/forte/PhalippouG88.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/forte/QuemadaPF88,
  author       = {Juan Quemada and
                  Santiago Pav{\'{o}}n and
                  Angel Fern{\'{a}}ndez},
  editor       = {Kenneth J. Turner},
  title        = {Transforming {LOTOS} Specifications with {LOLA} - The Parameterised
                  Expansion},
  booktitle    = {Formal Description Techniques, Proceedings of the First International
                  Conference on Formal Description Techniques, Stirling, Scotland, UK,
                  6-9 September, 1988},
  pages        = {45--54},
  publisher    = {North-Holland},
  year         = {1988},
  timestamp    = {Thu, 03 Jan 2002 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/forte/QuemadaPF88.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/forte/RodriguezL88,
  author       = {Saturnino Marchena Rodriguez and
                  Gonzalo Le{\'{o}}n},
  editor       = {Kenneth J. Turner},
  title        = {Transformation from {LOTOS} Specifications to Galileo Nets},
  booktitle    = {Formal Description Techniques, Proceedings of the First International
                  Conference on Formal Description Techniques, Stirling, Scotland, UK,
                  6-9 September, 1988},
  pages        = {217--230},
  publisher    = {North-Holland},
  year         = {1988},
  timestamp    = {Thu, 03 Jan 2002 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/forte/RodriguezL88.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/forte/Saqui-SannesC88,
  author       = {Pierre de Saqui{-}Sannes and
                  Jean{-}Pierre Courtiat},
  editor       = {Kenneth J. Turner},
  title        = {{ESTIM} - The Estelle Simulator Prototype of the Esprit {SEDOS} Project},
  booktitle    = {Formal Description Techniques, Proceedings of the First International
                  Conference on Formal Description Techniques, Stirling, Scotland, UK,
                  6-9 September, 1988},
  pages        = {15--29},
  publisher    = {North-Holland},
  year         = {1988},
  timestamp    = {Thu, 03 Jan 2002 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/forte/Saqui-SannesC88.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/forte/SijelmassiG88,
  author       = {Rachid Sijelmassi and
                  Philip Gaudette},
  editor       = {Kenneth J. Turner},
  title        = {An Object-Oriented Model for Estelle},
  booktitle    = {Formal Description Techniques, Proceedings of the First International
                  Conference on Formal Description Techniques, Stirling, Scotland, UK,
                  6-9 September, 1988},
  pages        = {91--105},
  publisher    = {North-Holland},
  year         = {1988},
  timestamp    = {Thu, 03 Jan 2002 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/forte/SijelmassiG88.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/forte/SinderenAC88,
  author       = {Marten van Sinderen and
                  Ibrahim Ajubi and
                  Fausto Caneschi},
  editor       = {Kenneth J. Turner},
  title        = {The Application of {LOTOS} for the Formal Description of the {ISO}
                  Session Layer},
  booktitle    = {Formal Description Techniques, Proceedings of the First International
                  Conference on Formal Description Techniques, Stirling, Scotland, UK,
                  6-9 September, 1988},
  pages        = {263--277},
  publisher    = {North-Holland},
  year         = {1988},
  timestamp    = {Thu, 03 Jan 2002 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/forte/SinderenAC88.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/forte/VuongC88,
  author       = {Son T. Vuong and
                  Wendy Y. L. Chan},
  editor       = {Kenneth J. Turner},
  title        = {Validation of the Ferry-Clip Local Testing System using an Estelle-C
                  Compiler},
  booktitle    = {Formal Description Techniques, Proceedings of the First International
                  Conference on Formal Description Techniques, Stirling, Scotland, UK,
                  6-9 September, 1988},
  pages        = {337--351},
  publisher    = {North-Holland},
  year         = {1988},
  timestamp    = {Thu, 03 Jan 2002 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/forte/VuongC88.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.