Search dblp for Publications

export results for "toc:db/conf/iceccs/iceccs2001.bht:"

 download as .bib file

@inproceedings{DBLP:conf/iceccs/Abraham-MummSH01,
  author       = {Erika {\'{A}}brah{\'{a}}m{-}Mumm and
                  Martin Steffen and
                  Ulrich Hannemann},
  title        = {Verification of Hybrid Systems: Formalization and Proof Rules in {PVS}},
  booktitle    = {7th International Conference on Engineering of Complex Computer Systems
                  {(ICECCS} 2001), 11-13 June 2001, Sk{\"{o}}vde, Sweden},
  pages        = {48--57},
  publisher    = {{IEEE} Computer Society},
  year         = {2001},
  url          = {https://doi.org/10.1109/ICECCS.2001.930163},
  doi          = {10.1109/ICECCS.2001.930163},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/iceccs/Abraham-MummSH01.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/iceccs/AhlstromTJ01,
  author       = {Kristina Ahlstr{\"{o}}m and
                  Jan Torin and
                  Per Johannessen},
  title        = {Design Method for Conceptual Design of By-Wire Control: Two Case Studies},
  booktitle    = {7th International Conference on Engineering of Complex Computer Systems
                  {(ICECCS} 2001), 11-13 June 2001, Sk{\"{o}}vde, Sweden},
  pages        = {133--143},
  publisher    = {{IEEE} Computer Society},
  year         = {2001},
  url          = {https://doi.org/10.1109/ICECCS.2001.930172},
  doi          = {10.1109/ICECCS.2001.930172},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/iceccs/AhlstromTJ01.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/iceccs/AmmannDX01,
  author       = {Paul Ammann and
                  Wei Ding and
                  Daling Xu},
  title        = {Using a Model Checker to Test Safety Properties},
  booktitle    = {7th International Conference on Engineering of Complex Computer Systems
                  {(ICECCS} 2001), 11-13 June 2001, Sk{\"{o}}vde, Sweden},
  pages        = {212--221},
  publisher    = {{IEEE} Computer Society},
  year         = {2001},
  url          = {https://doi.org/10.1109/ICECCS.2001.930180},
  doi          = {10.1109/ICECCS.2001.930180},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/iceccs/AmmannDX01.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/iceccs/ArazoC01,
  author       = {Alberto Arazo and
                  Yves Crouzet},
  title        = {Formal Guides for Experimentally Verifying Complex Software-Implemented
                  Fault Tolerance Mechanisms},
  booktitle    = {7th International Conference on Engineering of Complex Computer Systems
                  {(ICECCS} 2001), 11-13 June 2001, Sk{\"{o}}vde, Sweden},
  pages        = {69--79},
  publisher    = {{IEEE} Computer Society},
  year         = {2001},
  url          = {https://doi.org/10.1109/ICECCS.2001.930165},
  doi          = {10.1109/ICECCS.2001.930165},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/iceccs/ArazoC01.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/iceccs/BelliniN01,
  author       = {Pierfrancesco Bellini and
                  Paolo Nesi},
  title        = {Communicating {TILCO:} {A} Model for Real-Time System Specification},
  booktitle    = {7th International Conference on Engineering of Complex Computer Systems
                  {(ICECCS} 2001), 11-13 June 2001, Sk{\"{o}}vde, Sweden},
  pages        = {4--14},
  publisher    = {{IEEE} Computer Society},
  year         = {2001},
  url          = {https://doi.org/10.1109/ICECCS.2001.930159},
  doi          = {10.1109/ICECCS.2001.930159},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/iceccs/BelliniN01.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/iceccs/BelliniN01a,
  author       = {Pierfrancesco Bellini and
                  Paolo Nesi},
  title        = {TILCO-X, an Extension of {TILCO} Temporal Logic},
  booktitle    = {7th International Conference on Engineering of Complex Computer Systems
                  {(ICECCS} 2001), 11-13 June 2001, Sk{\"{o}}vde, Sweden},
  pages        = {15--25},
  publisher    = {{IEEE} Computer Society},
  year         = {2001},
  url          = {https://doi.org/10.1109/ICECCS.2001.930160},
  doi          = {10.1109/ICECCS.2001.930160},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/iceccs/BelliniN01a.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/iceccs/BublL01,
  author       = {Felix B{\"{u}}bl and
                  Andreas Leicher},
  title        = {Designing Distributed Component-Based Systems With {DCL}},
  booktitle    = {7th International Conference on Engineering of Complex Computer Systems
                  {(ICECCS} 2001), 11-13 June 2001, Sk{\"{o}}vde, Sweden},
  pages        = {144--154},
  publisher    = {{IEEE} Computer Society},
  year         = {2001},
  url          = {https://doi.org/10.1109/ICECCS.2001.930173},
  doi          = {10.1109/ICECCS.2001.930173},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/iceccs/BublL01.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/iceccs/ChenT01,
  author       = {De{-}Jiu Chen and
                  Martin T{\"{o}}rngren},
  title        = {Towards {A} Framework for Architecting Mechatronics Software Systems},
  booktitle    = {7th International Conference on Engineering of Complex Computer Systems
                  {(ICECCS} 2001), 11-13 June 2001, Sk{\"{o}}vde, Sweden},
  pages        = {170--179},
  publisher    = {{IEEE} Computer Society},
  year         = {2001},
  url          = {https://doi.org/10.1109/ICECCS.2001.930176},
  doi          = {10.1109/ICECCS.2001.930176},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/iceccs/ChenT01.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/iceccs/Dahlgren01,
  author       = {Fredrik Dahlgren},
  title        = {Future Mobile Phones - Complex Design Challenges from an Embedded
                  Systems Perspective},
  booktitle    = {7th International Conference on Engineering of Complex Computer Systems
                  {(ICECCS} 2001), 11-13 June 2001, Sk{\"{o}}vde, Sweden},
  pages        = {92},
  publisher    = {{IEEE} Computer Society},
  year         = {2001},
  url          = {https://doi.org/10.1109/ICECCS.2001.930167},
  doi          = {10.1109/ICECCS.2001.930167},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/iceccs/Dahlgren01.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/iceccs/GerdsmeierC01,
  author       = {Thorsten Gerdsmeier and
                  Rachel Cardell{-}Oliver},
  title        = {A Method for Verifying Real-Time Properties of Ada Programs},
  booktitle    = {7th International Conference on Engineering of Complex Computer Systems
                  {(ICECCS} 2001), 11-13 June 2001, Sk{\"{o}}vde, Sweden},
  pages        = {35},
  publisher    = {{IEEE} Computer Society},
  year         = {2001},
  url          = {https://doi.org/10.1109/ICECCS.2001.930162},
  doi          = {10.1109/ICECCS.2001.930162},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/iceccs/GerdsmeierC01.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/iceccs/GraupnerKT01,
  author       = {Sven Graupner and
                  Vadim E. Kotov and
                  Holger Trinks},
  title        = {A Framework for Analyzing and Organizing Complex Systems},
  booktitle    = {7th International Conference on Engineering of Complex Computer Systems
                  {(ICECCS} 2001), 11-13 June 2001, Sk{\"{o}}vde, Sweden},
  pages        = {155},
  publisher    = {{IEEE} Computer Society},
  year         = {2001},
  url          = {https://doi.org/10.1109/ICECCS.2001.930174},
  doi          = {10.1109/ICECCS.2001.930174},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/iceccs/GraupnerKT01.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/iceccs/HagganderLM01,
  author       = {Daniel H{\"{a}}ggander and
                  Lars Lundberg and
                  Jonas Matton},
  title        = {Quality Attribute Conflicts - Experiences from a Large Telecommunication
                  Application},
  booktitle    = {7th International Conference on Engineering of Complex Computer Systems
                  {(ICECCS} 2001), 11-13 June 2001, Sk{\"{o}}vde, Sweden},
  pages        = {96--105},
  publisher    = {{IEEE} Computer Society},
  year         = {2001},
  url          = {https://doi.org/10.1109/ICECCS.2001.930168},
  doi          = {10.1109/ICECCS.2001.930168},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/iceccs/HagganderLM01.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/iceccs/HicksSZ01,
  author       = {Jeffrey D. Hicks and
                  Alexander D. Stoyen and
                  Qiuming Zhu},
  title        = {Intelligent Agent-Based Software Architecture for Combat Performance
                  under Overwhelming Information Inflow and Uncertainty},
  booktitle    = {7th International Conference on Engineering of Complex Computer Systems
                  {(ICECCS} 2001), 11-13 June 2001, Sk{\"{o}}vde, Sweden},
  pages        = {200},
  publisher    = {{IEEE} Computer Society},
  year         = {2001},
  url          = {https://doi.org/10.1109/ICECCS.2001.930179},
  doi          = {10.1109/ICECCS.2001.930179},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/iceccs/HicksSZ01.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/iceccs/Izuru01,
  author       = {Izuru Kume},
  title        = {An Object-Oriented Analysis and Design Approach for Safe Object Sharing},
  booktitle    = {7th International Conference on Engineering of Complex Computer Systems
                  {(ICECCS} 2001), 11-13 June 2001, Sk{\"{o}}vde, Sweden},
  pages        = {122--132},
  publisher    = {{IEEE} Computer Society},
  year         = {2001},
  url          = {https://doi.org/10.1109/ICECCS.2001.930171},
  doi          = {10.1109/ICECCS.2001.930171},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/iceccs/Izuru01.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/iceccs/Kajko-Mattsson01,
  author       = {Mira Kajko{-}Mattsson},
  title        = {Can We Learn Anything from Hardware Preventive Maintenance?},
  booktitle    = {7th International Conference on Engineering of Complex Computer Systems
                  {(ICECCS} 2001), 11-13 June 2001, Sk{\"{o}}vde, Sweden},
  pages        = {106--111},
  publisher    = {{IEEE} Computer Society},
  year         = {2001},
  url          = {https://doi.org/10.1109/ICECCS.2001.930169},
  doi          = {10.1109/ICECCS.2001.930169},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/iceccs/Kajko-Mattsson01.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/iceccs/Kajko-Mattsson01a,
  author       = {Mira Kajko{-}Mattsson},
  title        = {Motivating the Corrective Maintenance Maturity Model {(CM3)}},
  booktitle    = {7th International Conference on Engineering of Complex Computer Systems
                  {(ICECCS} 2001), 11-13 June 2001, Sk{\"{o}}vde, Sweden},
  pages        = {112},
  publisher    = {{IEEE} Computer Society},
  year         = {2001},
  url          = {https://doi.org/10.1109/ICECCS.2001.930170},
  doi          = {10.1109/ICECCS.2001.930170},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/iceccs/Kajko-Mattsson01a.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/iceccs/KataraM01,
  author       = {Mika Katara and
                  Tommi Mikkonen},
  title        = {Aspect-Oriented Specification Architectures for Distributed Real-Time
                  Systems},
  booktitle    = {7th International Conference on Engineering of Complex Computer Systems
                  {(ICECCS} 2001), 11-13 June 2001, Sk{\"{o}}vde, Sweden},
  pages        = {180--190},
  publisher    = {{IEEE} Computer Society},
  year         = {2001},
  url          = {https://doi.org/10.1109/ICECCS.2001.930177},
  doi          = {10.1109/ICECCS.2001.930177},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/iceccs/KataraM01.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/iceccs/KhoussainovOP01,
  author       = {Rinat Khoussainov and
                  Tadhg O'Meara and
                  Ahmed Patel},
  title        = {Independent Proprietorship and Competition in Distributed Web Search},
  booktitle    = {7th International Conference on Engineering of Complex Computer Systems
                  {(ICECCS} 2001), 11-13 June 2001, Sk{\"{o}}vde, Sweden},
  pages        = {191--199},
  publisher    = {{IEEE} Computer Society},
  year         = {2001},
  url          = {https://doi.org/10.1109/ICECCS.2001.930178},
  doi          = {10.1109/ICECCS.2001.930178},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/iceccs/KhoussainovOP01.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/iceccs/Lawson01,
  author       = {Harold W. Lawson},
  title        = {The Problem of Platform Complexity},
  booktitle    = {7th International Conference on Engineering of Complex Computer Systems
                  {(ICECCS} 2001), 11-13 June 2001, Sk{\"{o}}vde, Sweden},
  pages        = {168},
  publisher    = {{IEEE} Computer Society},
  year         = {2001},
  url          = {https://doi.org/10.1109/ICECCS.2001.930175},
  doi          = {10.1109/ICECCS.2001.930175},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/iceccs/Lawson01.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/iceccs/LuWC01,
  author       = {Yiqin Lu and
                  Gang Wei and
                  To{-}Yat Cheung},
  title        = {Managing Feature Interactions in Telecommunications Systems by Temporal
                  Colored Petri Nets},
  booktitle    = {7th International Conference on Engineering of Complex Computer Systems
                  {(ICECCS} 2001), 11-13 June 2001, Sk{\"{o}}vde, Sweden},
  pages        = {260--269},
  publisher    = {{IEEE} Computer Society},
  year         = {2001},
  url          = {https://doi.org/10.1109/ICECCS.2001.930185},
  doi          = {10.1109/ICECCS.2001.930185},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/iceccs/LuWC01.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/iceccs/Majster-CederbaumW01,
  author       = {Mila E. Majster{-}Cederbaum and
                  Jinzhao Wu},
  title        = {Action Refinement for True Concurrent Real Time},
  booktitle    = {7th International Conference on Engineering of Complex Computer Systems
                  {(ICECCS} 2001), 11-13 June 2001, Sk{\"{o}}vde, Sweden},
  pages        = {58--68},
  publisher    = {{IEEE} Computer Society},
  year         = {2001},
  url          = {https://doi.org/10.1109/ICECCS.2001.930164},
  doi          = {10.1109/ICECCS.2001.930164},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/iceccs/Majster-CederbaumW01.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/iceccs/MassinkF01,
  author       = {Mieke Massink and
                  Nicoletta De Francesco},
  title        = {Modelling Free Flight with Collision Avoidance},
  booktitle    = {7th International Conference on Engineering of Complex Computer Systems
                  {(ICECCS} 2001), 11-13 June 2001, Sk{\"{o}}vde, Sweden},
  pages        = {270--280},
  publisher    = {{IEEE} Computer Society},
  year         = {2001},
  url          = {https://doi.org/10.1109/ICECCS.2001.930186},
  doi          = {10.1109/ICECCS.2001.930186},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/iceccs/MassinkF01.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/iceccs/McDonaldMLS01,
  author       = {Jason McDonald and
                  Leesa Murray and
                  Peter A. Lindsay and
                  Paul A. Strooper},
  title        = {Module Testing Embedded Software--An Industrial Pilot Project},
  booktitle    = {7th International Conference on Engineering of Complex Computer Systems
                  {(ICECCS} 2001), 11-13 June 2001, Sk{\"{o}}vde, Sweden},
  pages        = {233},
  publisher    = {{IEEE} Computer Society},
  year         = {2001},
  url          = {https://doi.org/10.1109/ICECCS.2001.930182},
  doi          = {10.1109/ICECCS.2001.930182},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/iceccs/McDonaldMLS01.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/iceccs/Puhakka01,
  author       = {Antti Puhakka},
  title        = {Compositional Construction of Protocol Behaviours with Arbitrary Channel
                  Capacities},
  booktitle    = {7th International Conference on Engineering of Complex Computer Systems
                  {(ICECCS} 2001), 11-13 June 2001, Sk{\"{o}}vde, Sweden},
  pages        = {80},
  publisher    = {{IEEE} Computer Society},
  year         = {2001},
  url          = {https://doi.org/10.1109/ICECCS.2001.930166},
  doi          = {10.1109/ICECCS.2001.930166},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/iceccs/Puhakka01.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/iceccs/RenS01,
  author       = {Fuji Ren and
                  Hongchi Shi},
  title        = {Parallel Machine Translation: Principles and Practice},
  booktitle    = {7th International Conference on Engineering of Complex Computer Systems
                  {(ICECCS} 2001), 11-13 June 2001, Sk{\"{o}}vde, Sweden},
  pages        = {249--259},
  publisher    = {{IEEE} Computer Society},
  year         = {2001},
  url          = {https://doi.org/10.1109/ICECCS.2001.930184},
  doi          = {10.1109/ICECCS.2001.930184},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/iceccs/RenS01.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/iceccs/RichardCR01,
  author       = {Pascal Richard and
                  Francis Cottet and
                  Micha{\"{e}}l Richard},
  title        = {On-line Scheduling of Real-Time Distributed Computers With Complex
                  Communication Constraints},
  booktitle    = {7th International Conference on Engineering of Complex Computer Systems
                  {(ICECCS} 2001), 11-13 June 2001, Sk{\"{o}}vde, Sweden},
  pages        = {26--34},
  publisher    = {{IEEE} Computer Society},
  year         = {2001},
  url          = {https://doi.org/10.1109/ICECCS.2001.930161},
  doi          = {10.1109/ICECCS.2001.930161},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/iceccs/RichardCR01.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/iceccs/Stoyen01,
  author       = {Alexander D. Stoyen},
  title        = {Intelligent Agent-Based Decision-Support Systems for Complex C\({}^{\mbox{2}}\)
                  Applications},
  booktitle    = {7th International Conference on Engineering of Complex Computer Systems
                  {(ICECCS} 2001), 11-13 June 2001, Sk{\"{o}}vde, Sweden},
  pages        = {2},
  publisher    = {{IEEE} Computer Society},
  year         = {2001},
  url          = {https://doi.org/10.1109/ICECCS.2001.930158},
  doi          = {10.1109/ICECCS.2001.930158},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/iceccs/Stoyen01.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/iceccs/WuPC01,
  author       = {Ye Wu and
                  Dai Pan and
                  Mei{-}Hwa Chen},
  title        = {Techniques for Testing Component-Based Software},
  booktitle    = {7th International Conference on Engineering of Complex Computer Systems
                  {(ICECCS} 2001), 11-13 June 2001, Sk{\"{o}}vde, Sweden},
  pages        = {222--232},
  publisher    = {{IEEE} Computer Society},
  year         = {2001},
  url          = {https://doi.org/10.1109/ICECCS.2001.930181},
  doi          = {10.1109/ICECCS.2001.930181},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/iceccs/WuPC01.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/iceccs/Yen01,
  author       = {Hsu{-}Chun Yen},
  title        = {Analysis of Self-Stabilization for Infinite-State Systems},
  booktitle    = {7th International Conference on Engineering of Complex Computer Systems
                  {(ICECCS} 2001), 11-13 June 2001, Sk{\"{o}}vde, Sweden},
  pages        = {240--248},
  publisher    = {{IEEE} Computer Society},
  year         = {2001},
  url          = {https://doi.org/10.1109/ICECCS.2001.930183},
  doi          = {10.1109/ICECCS.2001.930183},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/iceccs/Yen01.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@proceedings{DBLP:conf/iceccs/2001,
  title        = {7th International Conference on Engineering of Complex Computer Systems
                  {(ICECCS} 2001), 11-13 June 2001, Sk{\"{o}}vde, Sweden},
  publisher    = {{IEEE} Computer Society},
  year         = {2001},
  url          = {https://ieeexplore.ieee.org/xpl/conhome/7409/proceeding},
  isbn         = {0-7695-1159-7},
  timestamp    = {Wed, 16 Oct 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/iceccs/2001.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.