Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDBibTeX records: Nikola Trcka
@inproceedings{DBLP:conf/hicons/TrckaMBS14,
author = {Nikola Trcka and
Mark Moulin and
Shaunak D. Bopardikar and
Alberto Speranzon},
editor = {Linda Bushnell and
Larry Rohrbough and
Saurabh Amin and
Xenofon D. Koutsoukos},
title = {A formal verification approach to revealing stealth attacks on networked
control systems},
booktitle = {3rd International Conference on High Confidence Networked Systems
(part of {CPS} Week), HiCoNS '14, Berlin, Germany, April 15-17, 2014},
pages = {67--76},
publisher = {{ACM}},
year = {2014},
url = {https://doi.org/10.1145/2566468.2566484},
doi = {10.1145/2566468.2566484},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/hicons/TrckaMBS14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icra/TrckaS13,
author = {Nikola Trcka and
Amit Surana},
title = {Planning with process algebraic constraints: Application to multi-vehicle
routing problem},
booktitle = {2013 {IEEE} International Conference on Robotics and Automation, Karlsruhe,
Germany, May 6-10, 2013},
pages = {3489--3496},
publisher = {{IEEE}},
year = {2013},
url = {https://doi.org/10.1109/ICRA.2013.6631065},
doi = {10.1109/ICRA.2013.6631065},
timestamp = {Wed, 16 Oct 2019 14:14:51 +0200},
biburl = {https://dblp.org/rec/conf/icra/TrckaS13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/AndovaGT12,
author = {Suzana Andova and
Sonja Georgievska and
Nikola Trcka},
title = {Branching bisimulation congruence for probabilistic systems},
journal = {Theor. Comput. Sci.},
volume = {413},
number = {1},
pages = {58--72},
year = {2012},
url = {https://doi.org/10.1016/j.tcs.2011.07.020},
doi = {10.1016/J.TCS.2011.07.020},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/AndovaGT12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/edm/PechenizkiyTBT12,
author = {Mykola Pechenizkiy and
Nikola Trcka and
Paul De Bra and
Pedro A. Toledo},
editor = {Kalina Yacef and
Osmar R. Za{\"{\i}}ane and
Arnon Hershkovitz and
Michael Yudelson and
John C. Stamper},
title = {CurriM: Curriculum Mining},
booktitle = {Proceedings of the 5th International Conference on Educational Data
Mining, Chania, Greece, June 19-21, 2012},
pages = {216--217},
publisher = {www.educationaldatamining.org},
year = {2012},
url = {http://educationaldatamining.org/EDM2012/uploads/procs/Posters/edm2012\_poster\_11.pdf},
timestamp = {Thu, 02 Jun 2022 10:23:43 +0200},
biburl = {https://dblp.org/rec/conf/edm/PechenizkiyTBT12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/formats/BastenHST12,
author = {Twan Basten and
Martijn Hendriks and
Lou J. Somers and
Nikola Trcka},
editor = {Marcin Jurdzinski and
Dejan Nickovic},
title = {Model-Driven Design-Space Exploration for Software-Intensive Embedded
Systems - (Extended Abstract)},
booktitle = {Formal Modeling and Analysis of Timed Systems - 10th International
Conference, {FORMATS} 2012, London, UK, September 18-20, 2012. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7595},
pages = {1--6},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-33365-1\_1},
doi = {10.1007/978-3-642-33365-1\_1},
timestamp = {Tue, 14 May 2019 10:00:38 +0200},
biburl = {https://dblp.org/rec/conf/formats/BastenHST12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/is/SidorovaST11,
author = {Natalia Sidorova and
Christian Stahl and
Nikola Trcka},
title = {Soundness verification for conceptual workflow nets with data: Early
detection of errors with the most precision possible},
journal = {Inf. Syst.},
volume = {36},
number = {7},
pages = {1026--1043},
year = {2011},
url = {https://doi.org/10.1016/j.is.2011.04.004},
doi = {10.1016/J.IS.2011.04.004},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/is/SidorovaST11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/acsd/TrckaVB11,
author = {Nikola Trcka and
Marc Voorhoeve and
Twan Basten},
editor = {Beno{\^{\i}}t Caillaud and
Josep Carmona and
Kunihiko Hiraishi},
title = {Parameterized Partial Orders for Modeling Embedded System Use Cases:
Formal Definition and Translation to Coloured Petri Nets},
booktitle = {11th International Conference on Application of Concurrency to System
Design, {ACSD} 2011, Newcastle Upon Tyne, UK, 20-24 June, 2011},
pages = {13--18},
publisher = {{IEEE} Computer Society},
year = {2011},
url = {https://doi.org/10.1109/ACSD.2011.14},
doi = {10.1109/ACSD.2011.14},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/acsd/TrckaVB11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/samos/TrckaHBGS11,
author = {Nikola Trcka and
Martijn Hendriks and
Twan Basten and
Marc Geilen and
Lou J. Somers},
editor = {Luigi Carro and
Andy D. Pimentel},
title = {Integrated model-driven design-space exploration for embedded systems},
booktitle = {2011 International Conference on Embedded Computer Systems: Architectures,
Modeling, and Simulation, {SAMOS} XI, Samos, Greece, July 18-21, 2011},
pages = {339--346},
publisher = {{IEEE}},
year = {2011},
url = {https://doi.org/10.1109/SAMOS.2011.6045482},
doi = {10.1109/SAMOS.2011.6045482},
timestamp = {Sun, 25 Oct 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/samos/TrckaHBGS11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/concurrency/AalstBST10,
author = {Wil M. P. van der Aalst and
Carmen Bratosin and
Natalia Sidorova and
Nikola Trcka},
title = {A reference model for grid architectures and its validation},
journal = {Concurr. Comput. Pract. Exp.},
volume = {22},
number = {11},
pages = {1365--1385},
year = {2010},
url = {https://doi.org/10.1002/cpe.1505},
doi = {10.1002/CPE.1505},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/concurrency/AalstBST10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/bis/Trcka10,
author = {Nikola Trcka},
editor = {Witold Abramowicz and
Robert Tolksdorf},
title = {Workflow Data Footprints},
booktitle = {Business Information Systems, 13th International Conference, {BIS}
2010, Berlin, Germany, May 3-5, 2010. Proceedings},
series = {Lecture Notes in Business Information Processing},
volume = {47},
pages = {218--229},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-12814-1\_19},
doi = {10.1007/978-3-642-12814-1\_19},
timestamp = {Sun, 02 Jun 2019 21:14:23 +0200},
biburl = {https://dblp.org/rec/conf/bis/Trcka10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/caise/SidorovaST10,
author = {Natalia Sidorova and
Christian Stahl and
Nikola Trcka},
editor = {Barbara Pernici},
title = {Workflow Soundness Revisited: Checking Correctness in the Presence
of Data While Staying Conceptual},
booktitle = {Advanced Information Systems Engineering, 22nd International Conference,
CAiSE 2010, Hammamet, Tunisia, June 7-9, 2010. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6051},
pages = {530--544},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-13094-6\_40},
doi = {10.1007/978-3-642-13094-6\_40},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/caise/SidorovaST10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-0912-2109,
author = {Rob J. van Glabbeek and
Bas Luttik and
Nikola Trcka},
title = {Computation Tree Logic with Deadlock Detection},
journal = {Log. Methods Comput. Sci.},
volume = {5},
number = {4},
year = {2009},
url = {http://arxiv.org/abs/0912.2109},
timestamp = {Thu, 25 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-0912-2109.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fuin/GlabbeekLT09,
author = {Rob J. van Glabbeek and
Bas Luttik and
Nikola Trcka},
title = {Branching Bisimilarity with Explicit Divergence},
journal = {Fundam. Informaticae},
volume = {93},
number = {4},
pages = {371--392},
year = {2009},
url = {https://doi.org/10.3233/FI-2009-109},
doi = {10.3233/FI-2009-109},
timestamp = {Fri, 18 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fuin/GlabbeekLT09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/pe/MarkovskiSTV09,
author = {Jasen Markovski and
Ana Sokolova and
Nikola Trcka and
Erik P. de Vink},
title = {Compositionality for Markov reward chains with fast and silent transitions},
journal = {Perform. Evaluation},
volume = {66},
number = {8},
pages = {435--452},
year = {2009},
url = {https://doi.org/10.1016/j.peva.2009.01.001},
doi = {10.1016/J.PEVA.2009.01.001},
timestamp = {Fri, 27 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/pe/MarkovskiSTV09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/caise/TrckaAS09,
author = {Nikola Trcka and
Wil M. P. van der Aalst and
Natalia Sidorova},
editor = {Pascal van Eck and
Jaap Gordijn and
Roel J. Wieringa},
title = {Data-Flow Anti-patterns: Discovering Data-Flow Errors in Workflows},
booktitle = {Advanced Information Systems Engineering, 21st International Conference,
CAiSE 2009, Amsterdam, The Netherlands, June 8-12, 2009. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5565},
pages = {425--439},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-02144-2\_34},
doi = {10.1007/978-3-642-02144-2\_34},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/caise/TrckaAS09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/case/TrckaAS09,
author = {Nikola Trcka and
Wil M. P. van der Aalst and
Natalia Sidorova},
title = {Workflow completion patterns},
booktitle = {{IEEE} Conference on Automation Science and Engineering, {CASE} 2009,
Bangalore, India, 22-25 August, 2011},
pages = {7--12},
publisher = {{IEEE}},
year = {2009},
url = {https://doi.org/10.1109/COASE.2009.5234170},
doi = {10.1109/COASE.2009.5234170},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/case/TrckaAS09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/edm/PechenizkiyTVAB09,
author = {Mykola Pechenizkiy and
Nikola Trcka and
Ekaterina Vasilyeva and
Wil M. P. van der Aalst and
Paul De Bra},
editor = {Tiffany Barnes and
Michel C. Desmarais and
Crist{\'{o}}bal Romero and
Sebasti{\'{a}}n Ventura},
title = {Process Mining Online Assessment Data},
booktitle = {Educational Data Mining - {EDM} 2009, Cordoba, Spain, July 1-3, 2009.
Proceedings of the 2nd International Conference on Educational Data
Mining},
pages = {279--288},
publisher = {www.educationaldatamining.org},
year = {2009},
url = {http://www.educationaldatamining.org/EDM2009/uploads/proceedings/pechenizkiy.pdf},
timestamp = {Tue, 23 Aug 2022 09:19:48 +0200},
biburl = {https://dblp.org/rec/conf/edm/PechenizkiyTVAB09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isda/TrckaP09,
author = {Nikola Trcka and
Mykola Pechenizkiy},
title = {From Local Patterns to Global Models: Towards Domain Driven Educational
Process Mining},
booktitle = {Ninth International Conference on Intelligent Systems Design and Applications,
{ISDA} 2009, Pisa, Italy , November 30-December 2, 2009},
pages = {1114--1119},
publisher = {{IEEE} Computer Society},
year = {2009},
url = {https://doi.org/10.1109/ISDA.2009.159},
doi = {10.1109/ISDA.2009.159},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/isda/TrckaP09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-0912-1902,
author = {Nikola Trcka},
editor = {Suzana Andova and
Annabelle McIver and
Pedro R. D'Argenio and
Pieter J. L. Cuijpers and
Jasen Markovski and
Carroll Morgan and
Manuel N{\'{u}}{\~{n}}ez},
title = {Strong, Weak and Branching Bisimulation for Transition Systems and
Markov Reward Chains: {A} Unifying Matrix Approach},
booktitle = {Proceedings First Workshop on Quantitative Formal Methods: Theory
and Applications, {QFM} 2009, Eindhoven, The Netherlands, 3rd November
2009},
series = {{EPTCS}},
volume = {13},
pages = {55--65},
year = {2009},
url = {https://doi.org/10.4204/EPTCS.13.5},
doi = {10.4204/EPTCS.13.5},
timestamp = {Mon, 03 Jan 2022 22:03:29 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-0912-1902.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/eScience/TrckaSA08,
author = {Nikola Trcka and
Natalia Sidorova and
Wil M. P. van der Aalst},
title = {Soundness and Niceness as Correctness Criteria for Grid Workflows},
booktitle = {Fourth International Conference on e-Science, e-Science 2008, 7-12
December 2008, Indianapolis, IN, {USA}},
pages = {55--62},
publisher = {{IEEE} Computer Society},
year = {2008},
url = {https://doi.org/10.1109/eScience.2008.85},
doi = {10.1109/ESCIENCE.2008.85},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/eScience/TrckaSA08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mmb/MarkovskiT08,
author = {Jasen Markovski and
Nikola Trcka},
editor = {Falko Bause and
Peter Buchholz},
title = {Aggregation Methods for Markov Reward Chains with Fast and Silent
Transitions},
booktitle = {Proceedings 14th {GI/ITG} Conference on Measurement, Modelling and
Evaluation of Computer and Communication Systems {(MMB} 2008), March
31 - April 2, 2008, Dortmund, Germany},
pages = {93--108},
publisher = {{VDE} Verlag},
year = {2008},
timestamp = {Tue, 25 Sep 2018 18:26:26 +0200},
biburl = {https://dblp.org/rec/conf/mmb/MarkovskiT08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/opodis/TrckaABS08,
author = {Nikola Trcka and
Wil M. P. van der Aalst and
Carmen Bratosin and
Natalia Sidorova},
editor = {Theodore P. Baker and
Alain Bui and
S{\'{e}}bastien Tixeuil},
title = {Evaluating a Data Removal Strategy for Grid Environments Using Colored
Petri Nets},
booktitle = {Principles of Distributed Systems, 12th International Conference,
{OPODIS} 2008, Luxor, Egypt, December 15-18, 2008. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5401},
pages = {538--541},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-92221-6\_35},
doi = {10.1007/978-3-540-92221-6\_35},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/opodis/TrckaABS08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/otm/BratosinAST08,
author = {Carmen Bratosin and
Wil M. P. van der Aalst and
Natalia Sidorova and
Nikola Trcka},
editor = {Robert Meersman and
Zahir Tari},
title = {A Reference Model for Grid Architectures and Its Analysis},
booktitle = {On the Move to Meaningful Internet Systems: {OTM} 2008, {OTM} 2008
Confederated International Conferences, CoopIS, DOA, GADA, IS, and
{ODBASE} 2008, Monterrey, Mexico, November 9-14, 2008, Proceedings,
Part {I}},
series = {Lecture Notes in Computer Science},
volume = {5331},
pages = {898--913},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-88871-0\_63},
doi = {10.1007/978-3-540-88871-0\_63},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/otm/BratosinAST08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/TrckaG08,
author = {Nikola Trcka and
Sonja Georgievska},
editor = {Alessandro Aldini and
Christel Baier},
title = {Branching Bisimulation Congruence for Probabilistic Systems},
booktitle = {Proceedings of the Sixth Workshop on Quantitative Aspects of Programming
Languages, {QAPL} 2008, Budapest, Hungary, March 29-30, 2008},
series = {Electronic Notes in Theoretical Computer Science},
volume = {220},
number = {3},
pages = {129--143},
publisher = {Elsevier},
year = {2008},
url = {https://doi.org/10.1016/j.entcs.2008.11.023},
doi = {10.1016/J.ENTCS.2008.11.023},
timestamp = {Fri, 20 Jan 2023 13:44:09 +0100},
biburl = {https://dblp.org/rec/journals/entcs/TrckaG08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-0812-3068,
author = {Rob J. van Glabbeek and
Bas Luttik and
Nikola Trcka},
title = {Branching Bisimilarity with Explicit Divergence},
journal = {CoRR},
volume = {abs/0812.3068},
year = {2008},
url = {http://arxiv.org/abs/0812.3068},
eprinttype = {arXiv},
eprint = {0812.3068},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-0812-3068.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/epew/MarkovskiSTV07,
author = {Jasen Markovski and
Ana Sokolova and
Nikola Trcka and
Erik P. de Vink},
editor = {Katinka Wolter},
title = {Compositionality for Markov Reward Chains with Fast Transitions},
booktitle = {Formal Methods and Stochastic Models for Performance Evaluation, Fourth
European Performance Engineering Workshop, {EPEW} 2007, Berlin, Germany,
September 27-28, 2007, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4748},
pages = {18--32},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-75211-0\_3},
doi = {10.1007/978-3-540-75211-0\_3},
timestamp = {Tue, 14 May 2019 10:00:55 +0200},
biburl = {https://dblp.org/rec/conf/epew/MarkovskiSTV07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icfem/Trcka06,
author = {Nikola Trcka},
editor = {Zhiming Liu and
Jifeng He},
title = {Verifying \emph{chi} Models of Industrial Systems with Spin},
booktitle = {Formal Methods and Software Engineering, 8th International Conference
on Formal Engineering Methods, {ICFEM} 2006, Macao, China, November
1-3, 2006, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4260},
pages = {132--148},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/11901433\_8},
doi = {10.1007/11901433\_8},
timestamp = {Mon, 21 Mar 2022 22:43:10 +0100},
biburl = {https://dblp.org/rec/conf/icfem/Trcka06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/qest/MarkovskiT06,
author = {Jasen Markovski and
Nikola Trcka},
title = {Lumping Markov Chains with Silent Steps},
booktitle = {Third International Conference on the Quantitative Evaluation of Systems
{(QEST} 2006), 11-14 September 2006, Riverside, California, {USA}},
pages = {221--232},
publisher = {{IEEE} Computer Society},
year = {2006},
url = {https://doi.org/10.1109/QEST.2006.28},
doi = {10.1109/QEST.2006.28},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/qest/MarkovskiT06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jlp/BortnikTWLMBFR05,
author = {Elena M. Bortnik and
Nikola Trcka and
Anton Wijs and
Bas Luttik and
Joanna M. van de Mortel{-}Fronczak and
Jos C. M. Baeten and
Wan J. Fokkink and
Jacobus E. Rooda},
title = {Analyzing a \emph{chi} model of a turntable system using Spin, {CADP}
and Uppaal},
journal = {J. Log. Algebraic Methods Program.},
volume = {65},
number = {2},
pages = {51--104},
year = {2005},
url = {https://doi.org/10.1016/j.jlap.2005.05.001},
doi = {10.1016/J.JLAP.2005.05.001},
timestamp = {Tue, 16 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jlp/BortnikTWLMBFR05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/spin/LuttikT05,
author = {Bas Luttik and
Nikola Trcka},
editor = {Patrice Godefroid},
title = {Stuttering Congruence for \emph{chi}},
booktitle = {Model Checking Software, 12th International {SPIN} Workshop, San Francisco,
CA, USA, August 22-24, 2005, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3639},
pages = {185--199},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/11537328\_16},
doi = {10.1007/11537328\_16},
timestamp = {Tue, 14 May 2019 10:00:36 +0200},
biburl = {https://dblp.org/rec/conf/spin/LuttikT05.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.
last updated on 2023-09-27 22:54 CEST 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:
