Search dblp for Publications

export results for "toc:db/conf/vveis/msvveis2006.bht:"

 download as .bib file

@inproceedings{DBLP:conf/vveis/AkhlakiTTM06,
  author       = {Kawtar Benghazi Akhlaki and
                  Manuel I. Capel Tu{\~{n}}{\'{o}}n and
                  Juan Antonio Holgado Terriza and
                  Luis E. Mendoza Morales},
  editor       = {Joseph Barjis and
                  Ulrich Ultes{-}Nitsche and
                  Juan Carlos Augusto},
  title        = {Formal Specification of Real-Time Systems by Transformation of {UML-RT}
                  Design Models},
  booktitle    = {Modelling, Simulation, Verification and Validation of Enterprise Information
                  Systems, Proceedings of the 4th International Workshop on Modelling,
                  Simulation, Verification and Validation of Enterprise Information
                  Systems, {MSVVEIS} 2006, In conjunction with {ICEIS} 2006, Paphos,
                  Cyprus, May 2006},
  pages        = {16--25},
  publisher    = {{INSTICC} Press},
  year         = {2006},
  timestamp    = {Wed, 06 Sep 2006 13:10:42 +0200},
  biburl       = {https://dblp.org/rec/conf/vveis/AkhlakiTTM06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/vveis/Al-GhamdiF06,
  author       = {Ahmed Al{-}Ghamdi and
                  Jos{\'{e}} Luiz Fiadeiro},
  editor       = {Joseph Barjis and
                  Ulrich Ultes{-}Nitsche and
                  Juan Carlos Augusto},
  title        = {Architectural Handling of Management Concerns in Service-Driven Business
                  Processes},
  booktitle    = {Modelling, Simulation, Verification and Validation of Enterprise Information
                  Systems, Proceedings of the 4th International Workshop on Modelling,
                  Simulation, Verification and Validation of Enterprise Information
                  Systems, {MSVVEIS} 2006, In conjunction with {ICEIS} 2006, Paphos,
                  Cyprus, May 2006},
  pages        = {111--120},
  publisher    = {{INSTICC} Press},
  year         = {2006},
  timestamp    = {Wed, 06 Sep 2006 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/vveis/Al-GhamdiF06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/vveis/BarjisM06,
  author       = {Joseph Barjis and
                  Bryan D. MacDonald},
  editor       = {Joseph Barjis and
                  Ulrich Ultes{-}Nitsche and
                  Juan Carlos Augusto},
  title        = {Animated Simulation for Business Process Improvement},
  booktitle    = {Modelling, Simulation, Verification and Validation of Enterprise Information
                  Systems, Proceedings of the 4th International Workshop on Modelling,
                  Simulation, Verification and Validation of Enterprise Information
                  Systems, {MSVVEIS} 2006, In conjunction with {ICEIS} 2006, Paphos,
                  Cyprus, May 2006},
  pages        = {121--127},
  publisher    = {{INSTICC} Press},
  year         = {2006},
  timestamp    = {Wed, 06 Sep 2006 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/vveis/BarjisM06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/vveis/BarjisR06,
  author       = {Joseph Barjis and
                  Han Reichgelt},
  editor       = {Joseph Barjis and
                  Ulrich Ultes{-}Nitsche and
                  Juan Carlos Augusto},
  title        = {A Petri Net Based Methodology for Business Process Modeling and Simulation},
  booktitle    = {Modelling, Simulation, Verification and Validation of Enterprise Information
                  Systems, Proceedings of the 4th International Workshop on Modelling,
                  Simulation, Verification and Validation of Enterprise Information
                  Systems, {MSVVEIS} 2006, In conjunction with {ICEIS} 2006, Paphos,
                  Cyprus, May 2006},
  pages        = {3--15},
  publisher    = {{INSTICC} Press},
  year         = {2006},
  timestamp    = {Wed, 06 Sep 2006 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/vveis/BarjisR06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/vveis/ChapurlatA06,
  author       = {Vincent Chapurlat and
                  Saber Aloui},
  editor       = {Joseph Barjis and
                  Ulrich Ultes{-}Nitsche and
                  Juan Carlos Augusto},
  title        = {How to Detect Risks with a Formal Approach? From Property Specification
                  to Risk Emergence},
  booktitle    = {Modelling, Simulation, Verification and Validation of Enterprise Information
                  Systems, Proceedings of the 4th International Workshop on Modelling,
                  Simulation, Verification and Validation of Enterprise Information
                  Systems, {MSVVEIS} 2006, In conjunction with {ICEIS} 2006, Paphos,
                  Cyprus, May 2006},
  pages        = {134--146},
  publisher    = {{INSTICC} Press},
  year         = {2006},
  timestamp    = {Wed, 06 Sep 2006 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/vveis/ChapurlatA06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/vveis/CruzLW06,
  author       = {Jos{\'{e}} Diego De la Cruz and
                  Lam{-}Son L{\^{e}} and
                  Alain Wegmann},
  editor       = {Joseph Barjis and
                  Ulrich Ultes{-}Nitsche and
                  Juan Carlos Augusto},
  title        = {Validation of Visual Contracts for Services},
  booktitle    = {Modelling, Simulation, Verification and Validation of Enterprise Information
                  Systems, Proceedings of the 4th International Workshop on Modelling,
                  Simulation, Verification and Validation of Enterprise Information
                  Systems, {MSVVEIS} 2006, In conjunction with {ICEIS} 2006, Paphos,
                  Cyprus, May 2006},
  pages        = {147--165},
  publisher    = {{INSTICC} Press},
  year         = {2006},
  timestamp    = {Wed, 06 Sep 2006 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/vveis/CruzLW06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/vveis/DagisA06,
  author       = {Salvis Dagis and
                  Sergejs Arhipovs},
  editor       = {Joseph Barjis and
                  Ulrich Ultes{-}Nitsche and
                  Juan Carlos Augusto},
  title        = {The Static Model of Latvian Forest Management Planning and Capital
                  Value Estimation},
  booktitle    = {Modelling, Simulation, Verification and Validation of Enterprise Information
                  Systems, Proceedings of the 4th International Workshop on Modelling,
                  Simulation, Verification and Validation of Enterprise Information
                  Systems, {MSVVEIS} 2006, In conjunction with {ICEIS} 2006, Paphos,
                  Cyprus, May 2006},
  pages        = {185--188},
  publisher    = {{INSTICC} Press},
  year         = {2006},
  timestamp    = {Wed, 06 Sep 2006 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/vveis/DagisA06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/vveis/DrioucheBK06,
  author       = {Razika Driouche and
                  Zizette Boufa{\"{\i}}da and
                  Fabrice Kordon},
  editor       = {Joseph Barjis and
                  Ulrich Ultes{-}Nitsche and
                  Juan Carlos Augusto},
  title        = {An Ontology Based Architecture for Integrating Enterprise Applications},
  booktitle    = {Modelling, Simulation, Verification and Validation of Enterprise Information
                  Systems, Proceedings of the 4th International Workshop on Modelling,
                  Simulation, Verification and Validation of Enterprise Information
                  Systems, {MSVVEIS} 2006, In conjunction with {ICEIS} 2006, Paphos,
                  Cyprus, May 2006},
  pages        = {26--37},
  publisher    = {{INSTICC} Press},
  year         = {2006},
  timestamp    = {Fri, 25 Feb 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/vveis/DrioucheBK06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/vveis/DvornikT06,
  author       = {Josko Dvornik and
                  Eno Tireli},
  editor       = {Joseph Barjis and
                  Ulrich Ultes{-}Nitsche and
                  Juan Carlos Augusto},
  title        = {Simulation Modelling Performance Dynamics of Ship Gas Turbine at the
                  Load of the Ship's Synchronous Generator},
  booktitle    = {Modelling, Simulation, Verification and Validation of Enterprise Information
                  Systems, Proceedings of the 4th International Workshop on Modelling,
                  Simulation, Verification and Validation of Enterprise Information
                  Systems, {MSVVEIS} 2006, In conjunction with {ICEIS} 2006, Paphos,
                  Cyprus, May 2006},
  pages        = {157--162},
  publisher    = {{INSTICC} Press},
  year         = {2006},
  timestamp    = {Wed, 06 Sep 2006 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/vveis/DvornikT06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/vveis/EscamezATC06,
  author       = {Agust{\'{\i}}n Esc{\'{a}}mez and
                  Kawtar Benghazi Akhlaki and
                  Juan Antonio Holgado Terriza and
                  Manuel I. Capel},
  editor       = {Joseph Barjis and
                  Ulrich Ultes{-}Nitsche and
                  Juan Carlos Augusto},
  title        = {CSPJade: Architectural Driven Development of Complex Embedded System
                  Software Using a {CSP} Paradigm Based Generation Tool Code},
  booktitle    = {Modelling, Simulation, Verification and Validation of Enterprise Information
                  Systems, Proceedings of the 4th International Workshop on Modelling,
                  Simulation, Verification and Validation of Enterprise Information
                  Systems, {MSVVEIS} 2006, In conjunction with {ICEIS} 2006, Paphos,
                  Cyprus, May 2006},
  pages        = {128--133},
  publisher    = {{INSTICC} Press},
  year         = {2006},
  timestamp    = {Sun, 15 Apr 2007 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/vveis/EscamezATC06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/vveis/FraikinF06,
  author       = {Beno{\^{\i}}t Fraikin and
                  Marc Frappier},
  editor       = {Joseph Barjis and
                  Ulrich Ultes{-}Nitsche and
                  Juan Carlos Augusto},
  title        = {Efficient Interpretation of Large Quantifications in a Process Algebra},
  booktitle    = {Modelling, Simulation, Verification and Validation of Enterprise Information
                  Systems, Proceedings of the 4th International Workshop on Modelling,
                  Simulation, Verification and Validation of Enterprise Information
                  Systems, {MSVVEIS} 2006, In conjunction with {ICEIS} 2006, Paphos,
                  Cyprus, May 2006},
  pages        = {189--192},
  publisher    = {{INSTICC} Press},
  year         = {2006},
  timestamp    = {Wed, 06 Sep 2006 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/vveis/FraikinF06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/vveis/GallardoMMNP06,
  author       = {Mar{\'{\i}}a{-}del{-}Mar Gallardo and
                  Jes{\'{u}}s Mart{\'{\i}}nez and
                  Pedro Merino and
                  Pablo N{\'{u}}{\~{n}}ez and
                  Ernesto Pimentel},
  editor       = {Joseph Barjis and
                  Ulrich Ultes{-}Nitsche and
                  Juan Carlos Augusto},
  title        = {PiXL: Applying {XML} Standards to Support the Integration of Analysis
                  Tools for Protocols},
  booktitle    = {Modelling, Simulation, Verification and Validation of Enterprise Information
                  Systems, Proceedings of the 4th International Workshop on Modelling,
                  Simulation, Verification and Validation of Enterprise Information
                  Systems, {MSVVEIS} 2006, In conjunction with {ICEIS} 2006, Paphos,
                  Cyprus, May 2006},
  pages        = {57--66},
  publisher    = {{INSTICC} Press},
  year         = {2006},
  timestamp    = {Wed, 12 May 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/vveis/GallardoMMNP06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/vveis/GallardoMS06,
  author       = {Mar{\'{\i}}a{-}del{-}Mar Gallardo and
                  Pedro Merino and
                  David San{\'{a}}n},
  editor       = {Joseph Barjis and
                  Ulrich Ultes{-}Nitsche and
                  Juan Carlos Augusto},
  title        = {Towards Model Checking {C} Code with OPEN/C{\AE}SAR},
  booktitle    = {Modelling, Simulation, Verification and Validation of Enterprise Information
                  Systems, Proceedings of the 4th International Workshop on Modelling,
                  Simulation, Verification and Validation of Enterprise Information
                  Systems, {MSVVEIS} 2006, In conjunction with {ICEIS} 2006, Paphos,
                  Cyprus, May 2006},
  pages        = {198--201},
  publisher    = {{INSTICC} Press},
  year         = {2006},
  timestamp    = {Sun, 17 Apr 2016 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/vveis/GallardoMS06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/vveis/GerberBM06,
  author       = {Aurona Gerber and
                  Andries Barnard and
                  Alta van der Merwe},
  editor       = {Joseph Barjis and
                  Ulrich Ultes{-}Nitsche and
                  Juan Carlos Augusto},
  title        = {Design and Evaluation Criteria for Layered Architectures},
  booktitle    = {Modelling, Simulation, Verification and Validation of Enterprise Information
                  Systems, Proceedings of the 4th International Workshop on Modelling,
                  Simulation, Verification and Validation of Enterprise Information
                  Systems, {MSVVEIS} 2006, In conjunction with {ICEIS} 2006, Paphos,
                  Cyprus, May 2006},
  pages        = {163--172},
  publisher    = {{INSTICC} Press},
  year         = {2006},
  timestamp    = {Wed, 06 Sep 2006 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/vveis/GerberBM06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/vveis/GruhnL06,
  author       = {Volker Gruhn and
                  Ralf Laue},
  editor       = {Joseph Barjis and
                  Ulrich Ultes{-}Nitsche and
                  Juan Carlos Augusto},
  title        = {How Style Checking Can Improve Business Process Models},
  booktitle    = {Modelling, Simulation, Verification and Validation of Enterprise Information
                  Systems, Proceedings of the 4th International Workshop on Modelling,
                  Simulation, Verification and Validation of Enterprise Information
                  Systems, {MSVVEIS} 2006, In conjunction with {ICEIS} 2006, Paphos,
                  Cyprus, May 2006},
  pages        = {47--56},
  publisher    = {{INSTICC} Press},
  year         = {2006},
  timestamp    = {Thu, 23 Jul 2015 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/vveis/GruhnL06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/vveis/HeeOSSV06,
  author       = {Kees M. van Hee and
                  Olivia Oanea and
                  Alexander Serebrenik and
                  Natalia Sidorova and
                  Marc Voorhoeve},
  editor       = {Joseph Barjis and
                  Ulrich Ultes{-}Nitsche and
                  Juan Carlos Augusto},
  title        = {Modelling History-Dependent Business Processes},
  booktitle    = {Modelling, Simulation, Verification and Validation of Enterprise Information
                  Systems, Proceedings of the 4th International Workshop on Modelling,
                  Simulation, Verification and Validation of Enterprise Information
                  Systems, {MSVVEIS} 2006, In conjunction with {ICEIS} 2006, Paphos,
                  Cyprus, May 2006},
  pages        = {76--85},
  publisher    = {{INSTICC} Press},
  year         = {2006},
  timestamp    = {Wed, 06 Sep 2006 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/vveis/HeeOSSV06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/vveis/JungoBU06,
  author       = {Dominik Jungo and
                  David Buchmann and
                  Ulrich Ultes{-}Nitsche},
  editor       = {Joseph Barjis and
                  Ulrich Ultes{-}Nitsche and
                  Juan Carlos Augusto},
  title        = {Testing of Semantic Properties in {XML} Documents},
  booktitle    = {Modelling, Simulation, Verification and Validation of Enterprise Information
                  Systems, Proceedings of the 4th International Workshop on Modelling,
                  Simulation, Verification and Validation of Enterprise Information
                  Systems, {MSVVEIS} 2006, In conjunction with {ICEIS} 2006, Paphos,
                  Cyprus, May 2006},
  pages        = {38--46},
  publisher    = {{INSTICC} Press},
  year         = {2006},
  timestamp    = {Wed, 06 Sep 2006 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/vveis/JungoBU06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/vveis/KlaiTC06,
  author       = {Kais Klai and
                  Samir Tata and
                  Issam Chebbi},
  editor       = {Joseph Barjis and
                  Ulrich Ultes{-}Nitsche and
                  Juan Carlos Augusto},
  title        = {An Observation-based Algorithm for Workflow Matching},
  booktitle    = {Modelling, Simulation, Verification and Validation of Enterprise Information
                  Systems, Proceedings of the 4th International Workshop on Modelling,
                  Simulation, Verification and Validation of Enterprise Information
                  Systems, {MSVVEIS} 2006, In conjunction with {ICEIS} 2006, Paphos,
                  Cyprus, May 2006},
  pages        = {193--197},
  publisher    = {{INSTICC} Press},
  year         = {2006},
  timestamp    = {Wed, 06 Sep 2006 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/vveis/KlaiTC06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/vveis/MajdoubR06,
  author       = {Lotfi Majdoub and
                  Riadh Robbana},
  editor       = {Joseph Barjis and
                  Ulrich Ultes{-}Nitsche and
                  Juan Carlos Augusto},
  title        = {Test Purpose of Duration Systems},
  booktitle    = {Modelling, Simulation, Verification and Validation of Enterprise Information
                  Systems, Proceedings of the 4th International Workshop on Modelling,
                  Simulation, Verification and Validation of Enterprise Information
                  Systems, {MSVVEIS} 2006, In conjunction with {ICEIS} 2006, Paphos,
                  Cyprus, May 2006},
  pages        = {67--75},
  publisher    = {{INSTICC} Press},
  year         = {2006},
  timestamp    = {Wed, 06 Sep 2006 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/vveis/MajdoubR06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/vveis/ManatakiZ06,
  author       = {Ioanna E. Manataki and
                  Kostas Zografos},
  editor       = {Joseph Barjis and
                  Ulrich Ultes{-}Nitsche and
                  Juan Carlos Augusto},
  title        = {A System Dynamics Approach for Airport Terminal Performance Evaluation},
  booktitle    = {Modelling, Simulation, Verification and Validation of Enterprise Information
                  Systems, Proceedings of the 4th International Workshop on Modelling,
                  Simulation, Verification and Validation of Enterprise Information
                  Systems, {MSVVEIS} 2006, In conjunction with {ICEIS} 2006, Paphos,
                  Cyprus, May 2006},
  pages        = {206--209},
  publisher    = {{INSTICC} Press},
  year         = {2006},
  timestamp    = {Wed, 06 Sep 2006 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/vveis/ManatakiZ06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/vveis/MerweKC06,
  author       = {Alta van der Merwe and
                  Paula Kotz{\'{e}} and
                  Johannes C. Cronj{\'{e}}},
  editor       = {Joseph Barjis and
                  Ulrich Ultes{-}Nitsche and
                  Juan Carlos Augusto},
  title        = {The Usefulness of a Generic Process Model Structure},
  booktitle    = {Modelling, Simulation, Verification and Validation of Enterprise Information
                  Systems, Proceedings of the 4th International Workshop on Modelling,
                  Simulation, Verification and Validation of Enterprise Information
                  Systems, {MSVVEIS} 2006, In conjunction with {ICEIS} 2006, Paphos,
                  Cyprus, May 2006},
  pages        = {86--96},
  publisher    = {{INSTICC} Press},
  year         = {2006},
  timestamp    = {Wed, 06 Sep 2006 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/vveis/MerweKC06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/vveis/Moldt06,
  author       = {Daniel Moldt},
  editor       = {Joseph Barjis and
                  Ulrich Ultes{-}Nitsche and
                  Juan Carlos Augusto},
  title        = {{PAOSE:} {A} Way to Develop Distributed Software Systems Based on
                  Petri Nets and Agents},
  booktitle    = {Modelling, Simulation, Verification and Validation of Enterprise Information
                  Systems, Proceedings of the 4th International Workshop on Modelling,
                  Simulation, Verification and Validation of Enterprise Information
                  Systems, {MSVVEIS} 2006, In conjunction with {ICEIS} 2006, Paphos,
                  Cyprus, May 2006},
  publisher    = {{INSTICC} Press},
  year         = {2006},
  timestamp    = {Wed, 06 Sep 2006 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/vveis/Moldt06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/vveis/Niessner06,
  author       = {Frank Nie{\ss}ner},
  editor       = {Joseph Barjis and
                  Ulrich Ultes{-}Nitsche and
                  Juan Carlos Augusto},
  title        = {Specification of Deterministic Regular Liveness Properties},
  booktitle    = {Modelling, Simulation, Verification and Validation of Enterprise Information
                  Systems, Proceedings of the 4th International Workshop on Modelling,
                  Simulation, Verification and Validation of Enterprise Information
                  Systems, {MSVVEIS} 2006, In conjunction with {ICEIS} 2006, Paphos,
                  Cyprus, May 2006},
  pages        = {173--178},
  publisher    = {{INSTICC} Press},
  year         = {2006},
  timestamp    = {Wed, 06 Sep 2006 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/vveis/Niessner06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/vveis/SileA06,
  author       = {Inita Sile and
                  Sergejs Arhipovs},
  editor       = {Joseph Barjis and
                  Ulrich Ultes{-}Nitsche and
                  Juan Carlos Augusto},
  title        = {The Development of the Precedent Model for the Latvia Forest Management
                  Planning Processes},
  booktitle    = {Modelling, Simulation, Verification and Validation of Enterprise Information
                  Systems, Proceedings of the 4th International Workshop on Modelling,
                  Simulation, Verification and Validation of Enterprise Information
                  Systems, {MSVVEIS} 2006, In conjunction with {ICEIS} 2006, Paphos,
                  Cyprus, May 2006},
  pages        = {181--184},
  publisher    = {{INSTICC} Press},
  year         = {2006},
  timestamp    = {Wed, 06 Sep 2006 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/vveis/SileA06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/vveis/Vasilyev06,
  author       = {Pavel Vasilyev},
  editor       = {Joseph Barjis and
                  Ulrich Ultes{-}Nitsche and
                  Juan Carlos Augusto},
  title        = {Simulator for Real-Time Abstract State Machines},
  booktitle    = {Modelling, Simulation, Verification and Validation of Enterprise Information
                  Systems, Proceedings of the 4th International Workshop on Modelling,
                  Simulation, Verification and Validation of Enterprise Information
                  Systems, {MSVVEIS} 2006, In conjunction with {ICEIS} 2006, Paphos,
                  Cyprus, May 2006},
  pages        = {202--205},
  publisher    = {{INSTICC} Press},
  year         = {2006},
  timestamp    = {Wed, 06 Sep 2006 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/vveis/Vasilyev06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/vveis/YeungLWD06,
  author       = {Wing Lok Yeung and
                  Karl R. P. H. Leung and
                  Ji Wang and
                  Wei Dong},
  editor       = {Joseph Barjis and
                  Ulrich Ultes{-}Nitsche and
                  Juan Carlos Augusto},
  title        = {Model Checking Suspendible Business Processes via Statechart Diagrams
                  and {CSP}},
  booktitle    = {Modelling, Simulation, Verification and Validation of Enterprise Information
                  Systems, Proceedings of the 4th International Workshop on Modelling,
                  Simulation, Verification and Validation of Enterprise Information
                  Systems, {MSVVEIS} 2006, In conjunction with {ICEIS} 2006, Paphos,
                  Cyprus, May 2006},
  pages        = {97--107},
  publisher    = {{INSTICC} Press},
  year         = {2006},
  timestamp    = {Tue, 28 May 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/vveis/YeungLWD06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@proceedings{DBLP:conf/vveis/2006,
  editor       = {Joseph Barjis and
                  Ulrich Ultes{-}Nitsche and
                  Juan Carlos Augusto},
  title        = {Modelling, Simulation, Verification and Validation of Enterprise Information
                  Systems, Proceedings of the 4th International Workshop on Modelling,
                  Simulation, Verification and Validation of Enterprise Information
                  Systems, {MSVVEIS} 2006, In conjunction with {ICEIS} 2006, Paphos,
                  Cyprus, May 2006},
  publisher    = {{INSTICC} Press},
  year         = {2006},
  isbn         = {978-972-8865-49-8},
  timestamp    = {Wed, 06 Sep 2006 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/vveis/2006.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.