default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDSearch dblp for Publications
export results for "toc:db/conf/forte/forte1994.bht:"
download as .bib file
@proceedings{DBLP:conf/forte/1994,
editor = {Dieter Hogrefe and
Stefan Leue},
title = {Formal Description Techniques VII, Proceedings of the 7th {IFIP} {WG6.1}
International Conference on Formal Description Techniques, Berne,
Switzerland, 1994},
series = {{IFIP} Conference Proceedings},
volume = {6},
publisher = {Chapman {\&} Hall},
year = {1995},
isbn = {0-412-64450-9},
timestamp = {Thu, 03 Jan 2002 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/forte/1994.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/forte/BaetenM94,
author = {Jos C. M. Baeten and
Sjouke Mauw},
editor = {Dieter Hogrefe and
Stefan Leue},
title = {Delayed choice: an operator for joining Message Sequence Charts},
booktitle = {Formal Description Techniques VII, Proceedings of the 7th {IFIP} {WG6.1}
International Conference on Formal Description Techniques, Berne,
Switzerland, 1994},
series = {{IFIP} Conference Proceedings},
volume = {6},
pages = {340--354},
publisher = {Chapman {\&} Hall},
year = {1994},
timestamp = {Thu, 03 Jan 2002 11:58:39 +0100},
biburl = {https://dblp.org/rec/conf/forte/BaetenM94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/forte/BernadoDG94,
author = {Marco Bernardo and
Lorenzo Donatiello and
Roberto Gorrieri},
editor = {Dieter Hogrefe and
Stefan Leue},
title = {Integrated analysis of concurrent distributed systems using Markovian
process algebra},
booktitle = {Formal Description Techniques VII, Proceedings of the 7th {IFIP} {WG6.1}
International Conference on Formal Description Techniques, Berne,
Switzerland, 1994},
series = {{IFIP} Conference Proceedings},
volume = {6},
pages = {455--457},
publisher = {Chapman {\&} Hall},
year = {1994},
timestamp = {Fri, 10 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/forte/BernadoDG94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/forte/BistaCTS94,
author = {Bhed Bahadur Bista and
Zixue Cheng and
Atsushi Togashi and
Norio Shiratori},
editor = {Dieter Hogrefe and
Stefan Leue},
title = {A synthesis algorithm of a protocol model from a single entity},
booktitle = {Formal Description Techniques VII, Proceedings of the 7th {IFIP} {WG6.1}
International Conference on Formal Description Techniques, Berne,
Switzerland, 1994},
series = {{IFIP} Conference Proceedings},
volume = {6},
pages = {477--492},
publisher = {Chapman {\&} Hall},
year = {1994},
timestamp = {Thu, 03 Jan 2002 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/forte/BistaCTS94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/forte/BohmerK94,
author = {Stefan B{\"{o}}hmer and
Ralf Klafka},
editor = {Dieter Hogrefe and
Stefan Leue},
title = {A new approach to performance evaluation of formally specified protocols},
booktitle = {Formal Description Techniques VII, Proceedings of the 7th {IFIP} {WG6.1}
International Conference on Formal Description Techniques, Berne,
Switzerland, 1994},
series = {{IFIP} Conference Proceedings},
volume = {6},
pages = {452--454},
publisher = {Chapman {\&} Hall},
year = {1994},
timestamp = {Thu, 03 Jan 2002 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/forte/BohmerK94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/forte/BotmaL94,
author = {B. Botma and
Rom Langerak},
editor = {Dieter Hogrefe and
Stefan Leue},
title = {Simulator for {LOTOS} to study the independence and causality of events},
booktitle = {Formal Description Techniques VII, Proceedings of the 7th {IFIP} {WG6.1}
International Conference on Formal Description Techniques, Berne,
Switzerland, 1994},
series = {{IFIP} Conference Proceedings},
volume = {6},
pages = {221--223},
publisher = {Chapman {\&} Hall},
year = {1994},
timestamp = {Thu, 03 Jan 2002 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/forte/BotmaL94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/forte/BrederekeG94,
author = {Jan Bredereke and
Reinhard Gotzhein},
editor = {Dieter Hogrefe and
Stefan Leue},
title = {Specification, detection and resolution of {IN} feature interactions
with Estelle},
booktitle = {Formal Description Techniques VII, Proceedings of the 7th {IFIP} {WG6.1}
International Conference on Formal Description Techniques, Berne,
Switzerland, 1994},
series = {{IFIP} Conference Proceedings},
volume = {6},
pages = {376--378},
publisher = {Chapman {\&} Hall},
year = {1994},
timestamp = {Thu, 03 Jan 2002 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/forte/BrederekeG94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/forte/BricquirL94,
author = {S. Le Bricquir and
A. Lauzanne},
editor = {Dieter Hogrefe and
Stefan Leue},
title = {Validation of supplementary services in the context of interoperability},
booktitle = {Formal Description Techniques VII, Proceedings of the 7th {IFIP} {WG6.1}
International Conference on Formal Description Techniques, Berne,
Switzerland, 1994},
series = {{IFIP} Conference Proceedings},
volume = {6},
pages = {119--134},
publisher = {Chapman {\&} Hall},
year = {1994},
timestamp = {Thu, 03 Jan 2002 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/forte/BricquirL94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/forte/Cattel94,
author = {Thierry Cattel},
editor = {Dieter Hogrefe and
Stefan Leue},
title = {Modelization and verification of a multiprocessor realtime {OS} kernel},
booktitle = {Formal Description Techniques VII, Proceedings of the 7th {IFIP} {WG6.1}
International Conference on Formal Description Techniques, Berne,
Switzerland, 1994},
series = {{IFIP} Conference Proceedings},
volume = {6},
pages = {55--70},
publisher = {Chapman {\&} Hall},
year = {1994},
timestamp = {Thu, 03 Jan 2002 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/forte/Cattel94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/forte/ChengHS94,
author = {Zixue Cheng and
Tongjun Huang and
Norio Shiratori},
editor = {Dieter Hogrefe and
Stefan Leue},
title = {A new distributed algorithm for implementation of {LOTOS}},
booktitle = {Formal Description Techniques VII, Proceedings of the 7th {IFIP} {WG6.1}
International Conference on Formal Description Techniques, Berne,
Switzerland, 1994},
series = {{IFIP} Conference Proceedings},
volume = {6},
pages = {493--504},
publisher = {Chapman {\&} Hall},
year = {1994},
timestamp = {Thu, 03 Jan 2002 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/forte/ChengHS94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/forte/CourtiatS94,
author = {Jean{-}Pierre Courtiat and
Djamel{-}Eddine Sa{\"{\i}}douni},
editor = {Dieter Hogrefe and
Stefan Leue},
title = {Relating maximality-based semantics to action refinement in process
algebras},
booktitle = {Formal Description Techniques VII, Proceedings of the 7th {IFIP} {WG6.1}
International Conference on Formal Description Techniques, Berne,
Switzerland, 1994},
series = {{IFIP} Conference Proceedings},
volume = {6},
pages = {293--308},
publisher = {Chapman {\&} Hall},
year = {1994},
timestamp = {Fri, 28 Feb 2003 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/forte/CourtiatS94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/forte/DaviesW94,
author = {Jim Davies and
Matt Wallis},
editor = {Dieter Hogrefe and
Stefan Leue},
title = {On the formal specification and verification of network routing algorithms},
booktitle = {Formal Description Techniques VII, Proceedings of the 7th {IFIP} {WG6.1}
International Conference on Formal Description Techniques, Berne,
Switzerland, 1994},
series = {{IFIP} Conference Proceedings},
volume = {6},
pages = {100--115},
publisher = {Chapman {\&} Hall},
year = {1994},
timestamp = {Thu, 03 Jan 2002 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/forte/DaviesW94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/forte/DawsOY94,
author = {Conrado Daws and
Alfredo Olivero and
Sergio Yovine},
editor = {Dieter Hogrefe and
Stefan Leue},
title = {Verifying {ET-LOTOS} programmes with {KRONOS}},
booktitle = {Formal Description Techniques VII, Proceedings of the 7th {IFIP} {WG6.1}
International Conference on Formal Description Techniques, Berne,
Switzerland, 1994},
series = {{IFIP} Conference Proceedings},
volume = {6},
pages = {227--242},
publisher = {Chapman {\&} Hall},
year = {1994},
timestamp = {Thu, 03 Jan 2002 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/forte/DawsOY94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/forte/FantechiGS94,
author = {Alessandro Fantechi and
Stefania Gnesi and
R. Sacchelli},
editor = {Dieter Hogrefe and
Stefan Leue},
title = {Tableau methods to describe strong bisimilarity on {LOTOS} processes
involving pure interleaving and enabling},
booktitle = {Formal Description Techniques VII, Proceedings of the 7th {IFIP} {WG6.1}
International Conference on Formal Description Techniques, Berne,
Switzerland, 1994},
series = {{IFIP} Conference Proceedings},
volume = {6},
pages = {218--220},
publisher = {Chapman {\&} Hall},
year = {1994},
timestamp = {Thu, 03 Jan 2002 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/forte/FantechiGS94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/forte/FioreG94,
author = {Franco Fiore and
Fosca Giannotti},
editor = {Dieter Hogrefe and
Stefan Leue},
title = {An abstract interpreter for the specification language {LOTOS}},
booktitle = {Formal Description Techniques VII, Proceedings of the 7th {IFIP} {WG6.1}
International Conference on Formal Description Techniques, Berne,
Switzerland, 1994},
series = {{IFIP} Conference Proceedings},
volume = {6},
pages = {309--323},
publisher = {Chapman {\&} Hall},
year = {1994},
timestamp = {Thu, 03 Jan 2002 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/forte/FioreG94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/forte/FouchalC94,
author = {Hac{\`{e}}ne Fouchal and
Ana R. Cavalli},
editor = {Dieter Hogrefe and
Stefan Leue},
title = {A modal based verification for {LOTOS}},
booktitle = {Formal Description Techniques VII, Proceedings of the 7th {IFIP} {WG6.1}
International Conference on Formal Description Techniques, Berne,
Switzerland, 1994},
series = {{IFIP} Conference Proceedings},
volume = {6},
pages = {215--217},
publisher = {Chapman {\&} Hall},
year = {1994},
timestamp = {Mon, 30 Dec 2002 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/forte/FouchalC94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/forte/GonzalezGRV94,
author = {Oliverio Gonz{\'{a}}lez and
Victor G. Garc{\'{\i}}a and
Miguel Riesco and
Enrique V{\'{a}}zquez},
editor = {Dieter Hogrefe and
Stefan Leue},
title = {Design of operating systems using the {F.D.T.} {ESTELLE}},
booktitle = {Formal Description Techniques VII, Proceedings of the 7th {IFIP} {WG6.1}
International Conference on Formal Description Techniques, Berne,
Switzerland, 1994},
series = {{IFIP} Conference Proceedings},
volume = {6},
pages = {71--86},
publisher = {Chapman {\&} Hall},
year = {1994},
timestamp = {Fri, 08 Nov 2019 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/forte/GonzalezGRV94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/forte/Gregoire94,
author = {Jean{-}Charles Gr{\'{e}}goire},
editor = {Dieter Hogrefe and
Stefan Leue},
title = {Verification model reduction through abstractions},
booktitle = {Formal Description Techniques VII, Proceedings of the 7th {IFIP} {WG6.1}
International Conference on Formal Description Techniques, Berne,
Switzerland, 1994},
series = {{IFIP} Conference Proceedings},
volume = {6},
pages = {280--282},
publisher = {Chapman {\&} Hall},
year = {1994},
timestamp = {Mon, 22 Dec 2003 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/forte/Gregoire94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/forte/HengeveldTH94,
author = {Willem Hengeveld and
Peter van der Toorn and
Geert{-}Jan Houben},
editor = {Dieter Hogrefe and
Stefan Leue},
title = {Using formal specification and simulation: practical experience with
distributed applications},
booktitle = {Formal Description Techniques VII, Proceedings of the 7th {IFIP} {WG6.1}
International Conference on Formal Description Techniques, Berne,
Switzerland, 1994},
series = {{IFIP} Conference Proceedings},
volume = {6},
pages = {151--162},
publisher = {Chapman {\&} Hall},
year = {1994},
timestamp = {Thu, 03 Jan 2002 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/forte/HengeveldTH94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/forte/HillstonHHMR94,
author = {Jane Hillston and
Holger Hermanns and
Ulrich Herzog and
Vassilis Mertsiotakis and
Michael Rettelbach},
editor = {Dieter Hogrefe and
Stefan Leue},
title = {Stochastic process algebras: integrating qualitative and quantitative
modelling},
booktitle = {Formal Description Techniques VII, Proceedings of the 7th {IFIP} {WG6.1}
International Conference on Formal Description Techniques, Berne,
Switzerland, 1994},
series = {{IFIP} Conference Proceedings},
volume = {6},
pages = {449--451},
publisher = {Chapman {\&} Hall},
year = {1994},
timestamp = {Thu, 03 Jan 2002 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/forte/HillstonHHMR94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/forte/HolzS94,
author = {Eckhardt Holz and
Ketil St{\o}len},
editor = {Dieter Hogrefe and
Stefan Leue},
title = {An attempt to embed a restricted version of {SDL} as a target language
in Focus},
booktitle = {Formal Description Techniques VII, Proceedings of the 7th {IFIP} {WG6.1}
International Conference on Formal Description Techniques, Berne,
Switzerland, 1994},
series = {{IFIP} Conference Proceedings},
volume = {6},
pages = {324--339},
publisher = {Chapman {\&} Hall},
year = {1994},
timestamp = {Thu, 03 Jan 2002 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/forte/HolzS94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/forte/Holzmann94,
author = {Gerard J. Holzmann},
editor = {Dieter Hogrefe and
Stefan Leue},
title = {Proving the value of formal methods},
booktitle = {Formal Description Techniques VII, Proceedings of the 7th {IFIP} {WG6.1}
International Conference on Formal Description Techniques, Berne,
Switzerland, 1994},
series = {{IFIP} Conference Proceedings},
volume = {6},
pages = {385--396},
publisher = {Chapman {\&} Hall},
year = {1994},
timestamp = {Thu, 03 Jan 2002 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/forte/Holzmann94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/forte/HolzmannP94,
author = {Gerard J. Holzmann and
Doron A. Peled},
editor = {Dieter Hogrefe and
Stefan Leue},
title = {An improvement in formal verification},
booktitle = {Formal Description Techniques VII, Proceedings of the 7th {IFIP} {WG6.1}
International Conference on Formal Description Techniques, Berne,
Switzerland, 1994},
series = {{IFIP} Conference Proceedings},
volume = {6},
pages = {197--211},
publisher = {Chapman {\&} Hall},
year = {1994},
timestamp = {Fri, 12 Feb 2016 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/forte/HolzmannP94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/forte/Janowski94,
author = {Tomasz Janowski},
editor = {Dieter Hogrefe and
Stefan Leue},
title = {Stepwise transformations for fault-tolerant design of {CCS} processes},
booktitle = {Formal Description Techniques VII, Proceedings of the 7th {IFIP} {WG6.1}
International Conference on Formal Description Techniques, Berne,
Switzerland, 1994},
series = {{IFIP} Conference Proceedings},
volume = {6},
pages = {505--520},
publisher = {Chapman {\&} Hall},
year = {1994},
timestamp = {Thu, 03 Jan 2002 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/forte/Janowski94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/forte/KakudaAK94,
author = {Yoshiaki Kakuda and
Hiroyuki Asada and
Tohru Kikuno},
editor = {Dieter Hogrefe and
Stefan Leue},
title = {Application of protocol sythesis technique to resolution of the service
interaction problem},
booktitle = {Formal Description Techniques VII, Proceedings of the 7th {IFIP} {WG6.1}
International Conference on Formal Description Techniques, Berne,
Switzerland, 1994},
series = {{IFIP} Conference Proceedings},
volume = {6},
pages = {379--381},
publisher = {Chapman {\&} Hall},
year = {1994},
timestamp = {Thu, 03 Jan 2002 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/forte/KakudaAK94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/forte/Kars94,
author = {Pim Kars},
editor = {Dieter Hogrefe and
Stefan Leue},
title = {Representation of process-gate nets in {LOTOS} and verification of
{LOTOS} laws: the Boolean algebra approach},
booktitle = {Formal Description Techniques VII, Proceedings of the 7th {IFIP} {WG6.1}
International Conference on Formal Description Techniques, Berne,
Switzerland, 1994},
series = {{IFIP} Conference Proceedings},
volume = {6},
pages = {165--180},
publisher = {Chapman {\&} Hall},
year = {1994},
timestamp = {Thu, 03 Jan 2002 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/forte/Kars94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/forte/Kerbrat94,
author = {Alain Kerbrat},
editor = {Dieter Hogrefe and
Stefan Leue},
title = {Reachable state space analysis of {LOTOS} specifications},
booktitle = {Formal Description Techniques VII, Proceedings of the 7th {IFIP} {WG6.1}
International Conference on Formal Description Techniques, Berne,
Switzerland, 1994},
series = {{IFIP} Conference Proceedings},
volume = {6},
pages = {181--196},
publisher = {Chapman {\&} Hall},
year = {1994},
timestamp = {Thu, 03 Jan 2002 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/forte/Kerbrat94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/forte/Kremer94,
author = {H. Kremer},
editor = {Dieter Hogrefe and
Stefan Leue},
title = {Derivation of efficient implementations from formal descriptions -
issues, methods and conformance},
booktitle = {Formal Description Techniques VII, Proceedings of the 7th {IFIP} {WG6.1}
International Conference on Formal Description Techniques, Berne,
Switzerland, 1994},
series = {{IFIP} Conference Proceedings},
volume = {6},
pages = {431--446},
publisher = {Chapman {\&} Hall},
year = {1994},
timestamp = {Thu, 03 Jan 2002 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/forte/Kremer94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/forte/LadkinL94,
author = {Peter B. Ladkin and
Stefan Leue},
editor = {Dieter Hogrefe and
Stefan Leue},
title = {Four issues concerning the semantics of Message Flow Graphs},
booktitle = {Formal Description Techniques VII, Proceedings of the 7th {IFIP} {WG6.1}
International Conference on Formal Description Techniques, Berne,
Switzerland, 1994},
series = {{IFIP} Conference Proceedings},
volume = {6},
pages = {355--369},
publisher = {Chapman {\&} Hall},
year = {1994},
timestamp = {Thu, 03 Jan 2002 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/forte/LadkinL94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/forte/Lamport94,
author = {Leslie Lamport},
editor = {Dieter Hogrefe and
Stefan Leue},
title = {How good is your specification method?},
booktitle = {Formal Description Techniques VII, Proceedings of the 7th {IFIP} {WG6.1}
International Conference on Formal Description Techniques, Berne,
Switzerland, 1994},
series = {{IFIP} Conference Proceedings},
volume = {6},
pages = {289},
publisher = {Chapman {\&} Hall},
year = {1994},
timestamp = {Thu, 03 Jan 2002 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/forte/Lamport94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/forte/LuchangcoSGL94,
author = {Victor Luchangco and
Ekrem S{\"{o}}ylemez and
Stephen J. Garland and
Nancy A. Lynch},
editor = {Dieter Hogrefe and
Stefan Leue},
title = {Verifying timing properties of concurrent algorithms},
booktitle = {Formal Description Techniques VII, Proceedings of the 7th {IFIP} {WG6.1}
International Conference on Formal Description Techniques, Berne,
Switzerland, 1994},
series = {{IFIP} Conference Proceedings},
volume = {6},
pages = {259--273},
publisher = {Chapman {\&} Hall},
year = {1994},
timestamp = {Thu, 03 Jan 2002 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/forte/LuchangcoSGL94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/forte/Lynch94,
author = {Nancy A. Lynch},
editor = {Dieter Hogrefe and
Stefan Leue},
title = {Proving performance propterties (even probabilistic ones)},
booktitle = {Formal Description Techniques VII, Proceedings of the 7th {IFIP} {WG6.1}
International Conference on Formal Description Techniques, Berne,
Switzerland, 1994},
series = {{IFIP} Conference Proceedings},
volume = {6},
pages = {3--20},
publisher = {Chapman {\&} Hall},
year = {1994},
timestamp = {Thu, 03 Jan 2002 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/forte/Lynch94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/forte/Phalippou94,
author = {Marc Phalippou},
editor = {Dieter Hogrefe and
Stefan Leue},
title = {Test sequence generation using Estelle or {SDL} structure information},
booktitle = {Formal Description Techniques VII, Proceedings of the 7th {IFIP} {WG6.1}
International Conference on Formal Description Techniques, Berne,
Switzerland, 1994},
series = {{IFIP} Conference Proceedings},
volume = {6},
pages = {415--430},
publisher = {Chapman {\&} Hall},
year = {1994},
timestamp = {Thu, 03 Jan 2002 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/forte/Phalippou94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/forte/PopienM94,
author = {Claudia Popien and
Bernd Meyer},
editor = {Dieter Hogrefe and
Stefan Leue},
title = {A service request description language},
booktitle = {Formal Description Techniques VII, Proceedings of the 7th {IFIP} {WG6.1}
International Conference on Formal Description Techniques, Berne,
Switzerland, 1994},
series = {{IFIP} Conference Proceedings},
volume = {6},
pages = {37--52},
publisher = {Chapman {\&} Hall},
year = {1994},
timestamp = {Tue, 04 Sep 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/forte/PopienM94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/forte/Rowson94,
author = {J. R. Rowson},
editor = {Dieter Hogrefe and
Stefan Leue},
title = {Formal specification and analysis of an {ISO} communications protocol},
booktitle = {Formal Description Techniques VII, Proceedings of the 7th {IFIP} {WG6.1}
International Conference on Formal Description Techniques, Berne,
Switzerland, 1994},
series = {{IFIP} Conference Proceedings},
volume = {6},
pages = {277--279},
publisher = {Chapman {\&} Hall},
year = {1994},
timestamp = {Thu, 03 Jan 2002 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/forte/Rowson94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/forte/SekarLR94,
author = {R. Sekar and
Yow{-}Jian Lin and
C. R. Ramakrishnan},
editor = {Dieter Hogrefe and
Stefan Leue},
title = {Modelling techniques for evolving distributed applications},
booktitle = {Formal Description Techniques VII, Proceedings of the 7th {IFIP} {WG6.1}
International Conference on Formal Description Techniques, Berne,
Switzerland, 1994},
series = {{IFIP} Conference Proceedings},
volume = {6},
pages = {461--476},
publisher = {Chapman {\&} Hall},
year = {1994},
timestamp = {Mon, 03 Apr 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/forte/SekarLR94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/forte/TurnerM94,
author = {Kenneth J. Turner and
Ashley McClenaghan},
editor = {Dieter Hogrefe and
Stefan Leue},
title = {Visual animation of {LOTOS} using {SOLVE}},
booktitle = {Formal Description Techniques VII, Proceedings of the 7th {IFIP} {WG6.1}
International Conference on Formal Description Techniques, Berne,
Switzerland, 1994},
series = {{IFIP} Conference Proceedings},
volume = {6},
pages = {283--285},
publisher = {Chapman {\&} Hall},
year = {1994},
timestamp = {Thu, 03 Jan 2002 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/forte/TurnerM94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/forte/Vogel94,
author = {Andreas Vogel},
editor = {Dieter Hogrefe and
Stefan Leue},
title = {Towards a formal computational model for distributed multimedia applications},
booktitle = {Formal Description Techniques VII, Proceedings of the 7th {IFIP} {WG6.1}
International Conference on Formal Description Techniques, Berne,
Switzerland, 1994},
series = {{IFIP} Conference Proceedings},
volume = {6},
pages = {373--375},
publisher = {Chapman {\&} Hall},
year = {1994},
timestamp = {Thu, 03 Jan 2002 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/forte/Vogel94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/forte/Wu94,
author = {Deh{-}Min Wu},
editor = {Dieter Hogrefe and
Stefan Leue},
title = {Semantic-oriented description techniques for network management information
modelling},
booktitle = {Formal Description Techniques VII, Proceedings of the 7th {IFIP} {WG6.1}
International Conference on Formal Description Techniques, Berne,
Switzerland, 1994},
series = {{IFIP} Conference Proceedings},
volume = {6},
pages = {23--36},
publisher = {Chapman {\&} Hall},
year = {1994},
timestamp = {Thu, 03 Jan 2002 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/forte/Wu94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/forte/YaoPB94,
author = {Ming Yu Yao and
Alexandre Petrenko and
Gregor von Bochmann},
editor = {Dieter Hogrefe and
Stefan Leue},
title = {A structural analysis approach to the evaluation of fault coverage
for protocol conformance testing},
booktitle = {Formal Description Techniques VII, Proceedings of the 7th {IFIP} {WG6.1}
International Conference on Formal Description Techniques, Berne,
Switzerland, 1994},
series = {{IFIP} Conference Proceedings},
volume = {6},
pages = {399--414},
publisher = {Chapman {\&} Hall},
year = {1994},
timestamp = {Mon, 02 May 2005 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/forte/YaoPB94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/forte/YelmoCSGRF94,
author = {Juan C. Yelmo and
F. Javier Carrasco and
Carlos S{\'{a}}nchez and
Juan J. Gil and
C. Ramos and
M. I. Felipe},
editor = {Dieter Hogrefe and
Stefan Leue},
title = {{FDT} based development of an interworking unit between LANs and {X.25}
networks},
booktitle = {Formal Description Techniques VII, Proceedings of the 7th {IFIP} {WG6.1}
International Conference on Formal Description Techniques, Berne,
Switzerland, 1994},
series = {{IFIP} Conference Proceedings},
volume = {6},
pages = {135--150},
publisher = {Chapman {\&} Hall},
year = {1994},
timestamp = {Mon, 28 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/forte/YelmoCSGRF94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/forte/YiPD94,
author = {Wang Yi and
Paul Pettersson and
Mats Daniels},
editor = {Dieter Hogrefe and
Stefan Leue},
title = {Automatic verification of real-time communicating systems by constraint-solving},
booktitle = {Formal Description Techniques VII, Proceedings of the 7th {IFIP} {WG6.1}
International Conference on Formal Description Techniques, Berne,
Switzerland, 1994},
series = {{IFIP} Conference Proceedings},
volume = {6},
pages = {243--258},
publisher = {Chapman {\&} Hall},
year = {1994},
timestamp = {Fri, 07 Dec 2012 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/forte/YiPD94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/forte/ZhangMB94,
author = {Bairong Zhang and
Alistair Munro and
Michael Barton},
editor = {Dieter Hogrefe and
Stefan Leue},
title = {The formalization and analysis of {CCR} protocol and service},
booktitle = {Formal Description Techniques VII, Proceedings of the 7th {IFIP} {WG6.1}
International Conference on Formal Description Techniques, Berne,
Switzerland, 1994},
series = {{IFIP} Conference Proceedings},
volume = {6},
pages = {87--99},
publisher = {Chapman {\&} Hall},
year = {1994},
timestamp = {Thu, 03 Jan 2002 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/forte/ZhangMB94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
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-11-23 02:36 CET 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:
