Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDSearch dblp for Publications
export results for "toc:db/conf/forte/forte1992.bht:"
download as .bib file
@proceedings{DBLP:conf/forte/1992,
editor = {Michel Diaz and
Roland Groz},
title = {Formal Description Techniques, V, Proceedings of the {IFIP} {TC6/WG6.1}
Fifth International Conference on Formal Description Techniques for
Distributed Systems and Communication Protocols, {FORTE} '92, Perros-Guirec,
France, 13-16 October 1992},
series = {{IFIP} Transactions},
volume = {{C-10}},
publisher = {North-Holland},
year = {1993},
isbn = {0-444-89282-6},
timestamp = {Thu, 04 Nov 2004 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/forte/1992.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/forte/Agha92,
author = {Gul Agha},
editor = {Michel Diaz and
Roland Groz},
title = {Formal methods for Actor systems: {A} progress report},
booktitle = {Formal Description Techniques, V, Proceedings of the {IFIP} {TC6/WG6.1}
Fifth International Conference on Formal Description Techniques for
Distributed Systems and Communication Protocols, {FORTE} '92, Perros-Guirec,
France, 13-16 October 1992},
series = {{IFIP} Transactions},
volume = {{C-10}},
pages = {217--228},
publisher = {North-Holland},
year = {1992},
timestamp = {Thu, 04 Nov 2004 11:08:03 +0100},
biburl = {https://dblp.org/rec/conf/forte/Agha92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/forte/AndreuHJJ92,
author = {Marc Andreu and
Mich{\`{e}}le Haziza and
Claude Jard and
Jean{-}Marc J{\'{e}}z{\'{e}}quel},
editor = {Michel Diaz and
Roland Groz},
title = {Analyzing a space-protocol: from specification, simulation to experimentation},
booktitle = {Formal Description Techniques, V, Proceedings of the {IFIP} {TC6/WG6.1}
Fifth International Conference on Formal Description Techniques for
Distributed Systems and Communication Protocols, {FORTE} '92, Perros-Guirec,
France, 13-16 October 1992},
series = {{IFIP} Transactions},
volume = {{C-10}},
pages = {187--198},
publisher = {North-Holland},
year = {1992},
timestamp = {Thu, 03 Jan 2002 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/forte/AndreuHJJ92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/forte/ArakawaPRS92,
author = {Noriyasu Arakawa and
Marc Phalippou and
Nathalie Risser and
Terunao Soneoka},
editor = {Michel Diaz and
Roland Groz},
title = {Combination of conformance and interoperability testing},
booktitle = {Formal Description Techniques, V, Proceedings of the {IFIP} {TC6/WG6.1}
Fifth International Conference on Formal Description Techniques for
Distributed Systems and Communication Protocols, {FORTE} '92, Perros-Guirec,
France, 13-16 October 1992},
series = {{IFIP} Transactions},
volume = {{C-10}},
pages = {397--412},
publisher = {North-Holland},
year = {1992},
timestamp = {Thu, 03 Jan 2002 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/forte/ArakawaPRS92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/forte/Bolognesi92,
author = {Tommaso Bolognesi},
editor = {Michel Diaz and
Roland Groz},
title = {The electric power of {LOTOS} - Results of a joint academic/industrial
experiment},
booktitle = {Formal Description Techniques, V, Proceedings of the {IFIP} {TC6/WG6.1}
Fifth International Conference on Formal Description Techniques for
Distributed Systems and Communication Protocols, {FORTE} '92, Perros-Guirec,
France, 13-16 October 1992},
series = {{IFIP} Transactions},
volume = {{C-10}},
pages = {431--446},
publisher = {North-Holland},
year = {1992},
timestamp = {Thu, 03 Jan 2002 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/forte/Bolognesi92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/forte/BorjessonLS92,
author = {Anders B{\o}rjesson and
Kim Guldstrand Larsen and
Arne Skou},
editor = {Michel Diaz and
Roland Groz},
title = {Generality in design and compositional verification using {TAV}},
booktitle = {Formal Description Techniques, V, Proceedings of the {IFIP} {TC6/WG6.1}
Fifth International Conference on Formal Description Techniques for
Distributed Systems and Communication Protocols, {FORTE} '92, Perros-Guirec,
France, 13-16 October 1992},
series = {{IFIP} Transactions},
volume = {{C-10}},
pages = {449--464},
publisher = {North-Holland},
year = {1992},
timestamp = {Thu, 03 Jan 2002 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/forte/BorjessonLS92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/forte/BrederekeGV92,
author = {Jan Bredereke and
Reinhard Gotzhein and
Friedrich H. Vogt},
editor = {Michel Diaz and
Roland Groz},
title = {Design of a formal Estelle semantics for verification},
booktitle = {Formal Description Techniques, V, Proceedings of the {IFIP} {TC6/WG6.1}
Fifth International Conference on Formal Description Techniques for
Distributed Systems and Communication Protocols, {FORTE} '92, Perros-Guirec,
France, 13-16 October 1992},
series = {{IFIP} Transactions},
volume = {{C-10}},
pages = {153--168},
publisher = {North-Holland},
year = {1992},
timestamp = {Thu, 03 Jan 2002 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/forte/BrederekeGV92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/forte/CacciariR92,
author = {Leo Cacciari and
Omar Rafiq},
editor = {Michel Diaz and
Roland Groz},
title = {On improving reduced reachability analysis},
booktitle = {Formal Description Techniques, V, Proceedings of the {IFIP} {TC6/WG6.1}
Fifth International Conference on Formal Description Techniques for
Distributed Systems and Communication Protocols, {FORTE} '92, Perros-Guirec,
France, 13-16 October 1992},
series = {{IFIP} Transactions},
volume = {{C-10}},
pages = {137--152},
publisher = {North-Holland},
year = {1992},
timestamp = {Thu, 03 Jan 2002 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/forte/CacciariR92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/forte/CarrascoG92,
author = {Francisco Javier Carrasco and
J. J. Gil},
editor = {Michel Diaz and
Roland Groz},
title = {A method for specifying and validating communication protocols in
{LOTOS}},
booktitle = {Formal Description Techniques, V, Proceedings of the {IFIP} {TC6/WG6.1}
Fifth International Conference on Formal Description Techniques for
Distributed Systems and Communication Protocols, {FORTE} '92, Perros-Guirec,
France, 13-16 October 1992},
series = {{IFIP} Transactions},
volume = {{C-10}},
pages = {247--262},
publisher = {North-Holland},
year = {1992},
timestamp = {Sun, 02 Aug 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/forte/CarrascoG92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/forte/CohenD92,
author = {David Cohen and
Norman Dorn},
editor = {Michel Diaz and
Roland Groz},
title = {An Experiment in Analyzing Switch Recovery Procedures},
booktitle = {Formal Description Techniques, V, Proceedings of the {IFIP} {TC6/WG6.1}
Fifth International Conference on Formal Description Techniques for
Distributed Systems and Communication Protocols, {FORTE} '92, Perros-Guirec,
France, 13-16 October 1992},
series = {{IFIP} Transactions},
volume = {{C-10}},
pages = {23--34},
publisher = {North-Holland},
year = {1992},
timestamp = {Thu, 03 Jan 2002 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/forte/CohenD92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/forte/CostaC92,
author = {Rosvelter Jo{\~{a}}o Coelho da Costa and
Jean{-}Pierre Courtiat},
editor = {Michel Diaz and
Roland Groz},
title = {A true concurrency semantics for {LOTOS}},
booktitle = {Formal Description Techniques, V, Proceedings of the {IFIP} {TC6/WG6.1}
Fifth International Conference on Formal Description Techniques for
Distributed Systems and Communication Protocols, {FORTE} '92, Perros-Guirec,
France, 13-16 October 1992},
series = {{IFIP} Transactions},
volume = {{C-10}},
pages = {347--362},
publisher = {North-Holland},
year = {1992},
timestamp = {Thu, 03 Jan 2002 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/forte/CostaC92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/forte/DaSilvaDM92,
author = {Clara DaSilva and
Babak Dehbonei and
Fernando Mejia},
editor = {Michel Diaz and
Roland Groz},
title = {Formal specification in the development of industrial applications:
Subway speed control system},
booktitle = {Formal Description Techniques, V, Proceedings of the {IFIP} {TC6/WG6.1}
Fifth International Conference on Formal Description Techniques for
Distributed Systems and Communication Protocols, {FORTE} '92, Perros-Guirec,
France, 13-16 October 1992},
series = {{IFIP} Transactions},
volume = {{C-10}},
pages = {199--213},
publisher = {North-Holland},
year = {1992},
timestamp = {Thu, 03 Jan 2002 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/forte/DaSilvaDM92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/forte/Dembinski92,
author = {Piotr Dembinski},
editor = {Michel Diaz and
Roland Groz},
title = {Queueing network model for Estelle},
booktitle = {Formal Description Techniques, V, Proceedings of the {IFIP} {TC6/WG6.1}
Fifth International Conference on Formal Description Techniques for
Distributed Systems and Communication Protocols, {FORTE} '92, Perros-Guirec,
France, 13-16 October 1992},
series = {{IFIP} Transactions},
volume = {{C-10}},
pages = {73--86},
publisher = {North-Holland},
year = {1992},
timestamp = {Thu, 03 Jan 2002 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/forte/Dembinski92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/forte/DoldiG92,
author = {Laurent Doldi and
P. Gauthier},
editor = {Michel Diaz and
Roland Groz},
title = {{VEDA} 2: Power to the protocol designers},
booktitle = {Formal Description Techniques, V, Proceedings of the {IFIP} {TC6/WG6.1}
Fifth International Conference on Formal Description Techniques for
Distributed Systems and Communication Protocols, {FORTE} '92, Perros-Guirec,
France, 13-16 October 1992},
series = {{IFIP} Transactions},
volume = {{C-10}},
pages = {3--13},
publisher = {North-Holland},
year = {1992},
timestamp = {Tue, 22 Jan 2019 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/forte/DoldiG92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/forte/EertinkW92,
author = {Henk Eertink and
Dietmar Wolz},
editor = {Michel Diaz and
Roland Groz},
title = {Symbolic execution of {LOTOS} specifications},
booktitle = {Formal Description Techniques, V, Proceedings of the {IFIP} {TC6/WG6.1}
Fifth International Conference on Formal Description Techniques for
Distributed Systems and Communication Protocols, {FORTE} '92, Perros-Guirec,
France, 13-16 October 1992},
series = {{IFIP} Transactions},
volume = {{C-10}},
pages = {295--310},
publisher = {North-Holland},
year = {1992},
timestamp = {Thu, 03 Jan 2002 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/forte/EertinkW92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/forte/ErnbergHM92,
author = {Patrik Ernberg and
Thomas Hovander and
Francisco Monfort},
editor = {Michel Diaz and
Roland Groz},
title = {Specification and implementation of an {ISDN} telephone system using
{LOTOS}},
booktitle = {Formal Description Techniques, V, Proceedings of the {IFIP} {TC6/WG6.1}
Fifth International Conference on Formal Description Techniques for
Distributed Systems and Communication Protocols, {FORTE} '92, Perros-Guirec,
France, 13-16 October 1992},
series = {{IFIP} Transactions},
volume = {{C-10}},
pages = {171--186},
publisher = {North-Holland},
year = {1992},
timestamp = {Thu, 03 Jan 2002 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/forte/ErnbergHM92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/forte/Fidge92,
author = {Colin J. Fidge},
editor = {Michel Diaz and
Roland Groz},
title = {A constraint-oriented real-time process calculus},
booktitle = {Formal Description Techniques, V, Proceedings of the {IFIP} {TC6/WG6.1}
Fifth International Conference on Formal Description Techniques for
Distributed Systems and Communication Protocols, {FORTE} '92, Perros-Guirec,
France, 13-16 October 1992},
series = {{IFIP} Transactions},
volume = {{C-10}},
pages = {363--378},
publisher = {North-Holland},
year = {1992},
timestamp = {Thu, 03 Jan 2002 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/forte/Fidge92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/forte/HaghverdiI92,
author = {Esfandiar Haghverdi and
Kemal Inan},
editor = {Michel Diaz and
Roland Groz},
title = {Verification by consecutive projections},
booktitle = {Formal Description Techniques, V, Proceedings of the {IFIP} {TC6/WG6.1}
Fifth International Conference on Formal Description Techniques for
Distributed Systems and Communication Protocols, {FORTE} '92, Perros-Guirec,
France, 13-16 October 1992},
series = {{IFIP} Transactions},
volume = {{C-10}},
pages = {465--478},
publisher = {North-Holland},
year = {1992},
timestamp = {Wed, 15 Oct 2014 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/forte/HaghverdiI92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/forte/Haj-HusseinLS92,
author = {Mazen Haj{-}Hussein and
Luigi Logrippo and
Jacques Sincennes},
editor = {Michel Diaz and
Roland Groz},
title = {Goal oriented execution for {LOTOS}},
booktitle = {Formal Description Techniques, V, Proceedings of the {IFIP} {TC6/WG6.1}
Fifth International Conference on Formal Description Techniques for
Distributed Systems and Communication Protocols, {FORTE} '92, Perros-Guirec,
France, 13-16 October 1992},
series = {{IFIP} Transactions},
volume = {{C-10}},
pages = {311--327},
publisher = {North-Holland},
year = {1992},
timestamp = {Thu, 03 Jan 2002 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/forte/Haj-HusseinLS92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/forte/Karjoth92,
author = {G{\"{u}}nter Karjoth},
editor = {Michel Diaz and
Roland Groz},
title = {Generating transition graphs from {LOTOS} specifications},
booktitle = {Formal Description Techniques, V, Proceedings of the {IFIP} {TC6/WG6.1}
Fifth International Conference on Formal Description Techniques for
Distributed Systems and Communication Protocols, {FORTE} '92, Perros-Guirec,
France, 13-16 October 1992},
series = {{IFIP} Transactions},
volume = {{C-10}},
pages = {281--294},
publisher = {North-Holland},
year = {1992},
timestamp = {Thu, 03 Jan 2002 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/forte/Karjoth92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/forte/KremerLRS92,
author = {Harro Kremer and
Jeroen van de Lagemaat and
Axel Rennoch and
Giuseppe Scollo},
editor = {Michel Diaz and
Roland Groz},
title = {Protocol design using {LOTOS:} {A} critical synthesis of a standardization
experience},
booktitle = {Formal Description Techniques, V, Proceedings of the {IFIP} {TC6/WG6.1}
Fifth International Conference on Formal Description Techniques for
Distributed Systems and Communication Protocols, {FORTE} '92, Perros-Guirec,
France, 13-16 October 1992},
series = {{IFIP} Transactions},
volume = {{C-10}},
pages = {231--246},
publisher = {North-Holland},
year = {1992},
timestamp = {Mon, 25 Nov 2002 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/forte/KremerLRS92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/forte/KristoffersenVZ92,
author = {Finn Kristoffersen and
Louis Verhaard and
Michael Zeeberg},
editor = {Michel Diaz and
Roland Groz},
title = {Test derivation for {SDL} based on ACTs},
booktitle = {Formal Description Techniques, V, Proceedings of the {IFIP} {TC6/WG6.1}
Fifth International Conference on Formal Description Techniques for
Distributed Systems and Communication Protocols, {FORTE} '92, Perros-Guirec,
France, 13-16 October 1992},
series = {{IFIP} Transactions},
volume = {{C-10}},
pages = {381--396},
publisher = {North-Holland},
year = {1992},
timestamp = {Thu, 03 Jan 2002 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/forte/KristoffersenVZ92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/forte/Langerak92,
author = {Rom Langerak},
editor = {Michel Diaz and
Roland Groz},
title = {Bundle event structures: a non-interleaving semantics for {LOTOS}},
booktitle = {Formal Description Techniques, V, Proceedings of the {IFIP} {TC6/WG6.1}
Fifth International Conference on Formal Description Techniques for
Distributed Systems and Communication Protocols, {FORTE} '92, Perros-Guirec,
France, 13-16 October 1992},
series = {{IFIP} Transactions},
volume = {{C-10}},
pages = {331--346},
publisher = {North-Holland},
year = {1992},
timestamp = {Thu, 03 Jan 2002 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/forte/Langerak92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/forte/LeducL92,
author = {Guy Leduc and
Luc L{\'{e}}onard},
editor = {Michel Diaz and
Roland Groz},
title = {A timed {LOTOS} supporting a dense time domain and including new timed
operators},
booktitle = {Formal Description Techniques, V, Proceedings of the {IFIP} {TC6/WG6.1}
Fifth International Conference on Formal Description Techniques for
Distributed Systems and Communication Protocols, {FORTE} '92, Perros-Guirec,
France, 13-16 October 1992},
series = {{IFIP} Transactions},
volume = {{C-10}},
pages = {87--102},
publisher = {North-Holland},
year = {1992},
timestamp = {Thu, 03 Jan 2002 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/forte/LeducL92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/forte/MarshallS92,
author = {Lynn S. Marshall and
Linda Simon},
editor = {Michel Diaz and
Roland Groz},
title = {Using {VDM} to specify managed object relationships},
booktitle = {Formal Description Techniques, V, Proceedings of the {IFIP} {TC6/WG6.1}
Fifth International Conference on Formal Description Techniques for
Distributed Systems and Communication Protocols, {FORTE} '92, Perros-Guirec,
France, 13-16 October 1992},
series = {{IFIP} Transactions},
volume = {{C-10}},
pages = {263--278},
publisher = {North-Holland},
year = {1992},
timestamp = {Thu, 03 Jan 2002 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/forte/MarshallS92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/forte/MiguelFV92,
author = {Carlos Miguel and
Angel Fern{\'{a}}ndez and
Leon Vidaller},
editor = {Michel Diaz and
Roland Groz},
title = {Extending {LOTOS} towards performance evaluation},
booktitle = {Formal Description Techniques, V, Proceedings of the {IFIP} {TC6/WG6.1}
Fifth International Conference on Formal Description Techniques for
Distributed Systems and Communication Protocols, {FORTE} '92, Perros-Guirec,
France, 13-16 October 1992},
series = {{IFIP} Transactions},
volume = {{C-10}},
pages = {103--118},
publisher = {North-Holland},
year = {1992},
timestamp = {Thu, 03 Jan 2002 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/forte/MiguelFV92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/forte/NirschlBL92,
author = {Heinrich Nirschl and
Jacqueline Blanchard and
Bernard Loyer},
editor = {Michel Diaz and
Roland Groz},
title = {{LOTOS} in Alcatel},
booktitle = {Formal Description Techniques, V, Proceedings of the {IFIP} {TC6/WG6.1}
Fifth International Conference on Formal Description Techniques for
Distributed Systems and Communication Protocols, {FORTE} '92, Perros-Guirec,
France, 13-16 October 1992},
series = {{IFIP} Transactions},
volume = {{C-10}},
pages = {15--22},
publisher = {North-Holland},
year = {1992},
timestamp = {Thu, 03 Jan 2002 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/forte/NirschlBL92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/forte/Sanz92,
author = {Juan I. Sanz},
editor = {Michel Diaz and
Roland Groz},
title = {Using FDTs in the development of a {PICS} editor},
booktitle = {Formal Description Techniques, V, Proceedings of the {IFIP} {TC6/WG6.1}
Fifth International Conference on Formal Description Techniques for
Distributed Systems and Communication Protocols, {FORTE} '92, Perros-Guirec,
France, 13-16 October 1992},
series = {{IFIP} Transactions},
volume = {{C-10}},
pages = {413--427},
publisher = {North-Holland},
year = {1992},
timestamp = {Thu, 03 Jan 2002 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/forte/Sanz92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/forte/Stolen92,
author = {Ketil St{\o}len},
editor = {Michel Diaz and
Roland Groz},
title = {Shared-state design modulo weak and strong process fairness},
booktitle = {Formal Description Techniques, V, Proceedings of the {IFIP} {TC6/WG6.1}
Fifth International Conference on Formal Description Techniques for
Distributed Systems and Communication Protocols, {FORTE} '92, Perros-Guirec,
France, 13-16 October 1992},
series = {{IFIP} Transactions},
volume = {{C-10}},
pages = {479--498},
publisher = {North-Holland},
year = {1992},
timestamp = {Thu, 03 Jan 2002 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/forte/Stolen92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/forte/Thomas92,
author = {Muffy Thomas},
editor = {Michel Diaz and
Roland Groz},
title = {A translator for {ASN.1} into {LOTOS}},
booktitle = {Formal Description Techniques, V, Proceedings of the {IFIP} {TC6/WG6.1}
Fifth International Conference on Formal Description Techniques for
Distributed Systems and Communication Protocols, {FORTE} '92, Perros-Guirec,
France, 13-16 October 1992},
series = {{IFIP} Transactions},
volume = {{C-10}},
pages = {37--52},
publisher = {North-Holland},
year = {1992},
timestamp = {Thu, 03 Jan 2002 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/forte/Thomas92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/forte/VasconcelosM92,
author = {Alexandre Marcos Lins de Vasconcelos and
John Alexander McDermid},
editor = {Michel Diaz and
Roland Groz},
title = {Incremental processing of {Z} specifications},
booktitle = {Formal Description Techniques, V, Proceedings of the {IFIP} {TC6/WG6.1}
Fifth International Conference on Formal Description Techniques for
Distributed Systems and Communication Protocols, {FORTE} '92, Perros-Guirec,
France, 13-16 October 1992},
series = {{IFIP} Transactions},
volume = {{C-10}},
pages = {53--69},
publisher = {North-Holland},
year = {1992},
timestamp = {Fri, 06 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/forte/VasconcelosM92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/forte/ZhangS92,
author = {Shipei Zhang and
Scott A. Smolka},
editor = {Michel Diaz and
Roland Groz},
title = {Towards efficient parallelization of equivalence checking algorithms},
booktitle = {Formal Description Techniques, V, Proceedings of the {IFIP} {TC6/WG6.1}
Fifth International Conference on Formal Description Techniques for
Distributed Systems and Communication Protocols, {FORTE} '92, Perros-Guirec,
France, 13-16 October 1992},
series = {{IFIP} Transactions},
volume = {{C-10}},
pages = {121--135},
publisher = {North-Holland},
year = {1992},
timestamp = {Thu, 03 Jan 2002 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/forte/ZhangS92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of 
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.
retrieved on 2024-05-28 12:28 CEST from data curated by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
