Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDBibTeX records: Timo Latvala
@inproceedings{DBLP:conf/csp/PreoteasaLV19,
author = {Viorel Preoteasa and
Timo Latvala and
Kimmo Varpaaniemi},
editor = {Krzysztof Ropiak and
Lech Polkowski and
Piotr Artiemjew},
title = {Modelling Programmable Logic Controllers in Refinement Calculus of
Reactive Systems},
booktitle = {Proceedings of the 28th International Workshop on Concurrency, Specification
and Programming, Olsztyn, Poland, September 24-26th, 2019},
series = {{CEUR} Workshop Proceedings},
volume = {2571},
publisher = {CEUR-WS.org},
year = {2019},
url = {https://ceur-ws.org/Vol-2571/CSP2019\_paper\_2.pdf},
timestamp = {Fri, 10 Mar 2023 16:22:14 +0100},
biburl = {https://dblp.org/rec/conf/csp/PreoteasaLV19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/serene/VistbakkaTKL17,
author = {Inna Vistbakka and
Elena Troubitsyna and
Tuomas Kuismin and
Timo Latvala},
editor = {Alexander B. Romanovsky and
Elena Troubitsyna},
title = {Co-engineering Safety and Security in Industrial Control Systems:
{A} Formal Outlook},
booktitle = {Software Engineering for Resilient Systems - 9th International Workshop,
{SERENE} 2017, Geneva, Switzerland, September 4-5, 2017, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {10479},
pages = {96--114},
publisher = {Springer},
year = {2017},
url = {https://doi.org/10.1007/978-3-319-65948-0\_7},
doi = {10.1007/978-3-319-65948-0\_7},
timestamp = {Tue, 14 May 2019 10:00:48 +0200},
biburl = {https://dblp.org/rec/conf/serene/VistbakkaTKL17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issre/BosVPL16,
author = {Victor Bos and
Timo Veps{\"{a}}l{\"{a}}inen and
Yuliya Prokhorova and
Timo Latvala},
title = {Time and Space Partitioning Using On-Board Software Reference Architecture},
booktitle = {2016 {IEEE} International Symposium on Software Reliability Engineering
Workshops, {ISSRE} Workshops 2016, Ottawa, ON, Canada, October 23-27,
2016},
pages = {17--20},
publisher = {{IEEE} Computer Society},
year = {2016},
url = {https://doi.org/10.1109/ISSREW.2016.49},
doi = {10.1109/ISSREW.2016.49},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/issre/BosVPL16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/safecomp/TroubitsynaLPKI16,
author = {Elena Troubitsyna and
Linas Laibinis and
Inna Pereverzeva and
Tuomas Kuismin and
Dubravka Ilic and
Timo Latvala},
editor = {Amund Skavhaug and
J{\'{e}}r{\'{e}}mie Guiochet and
Friedemann Bitsch},
title = {Towards Security-Explicit Formal Modelling of Safety-Critical Systems},
booktitle = {Computer Safety, Reliability, and Security - 35th International Conference,
{SAFECOMP} 2016, Trondheim, Norway, September 21-23, 2016, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9922},
pages = {213--225},
publisher = {Springer},
year = {2016},
url = {https://doi.org/10.1007/978-3-319-45477-1\_17},
doi = {10.1007/978-3-319-45477-1\_17},
timestamp = {Tue, 14 May 2019 10:00:44 +0200},
biburl = {https://dblp.org/rec/conf/safecomp/TroubitsynaLPKI16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/safecomp/TarasyukPTL15,
author = {Anton Tarasyuk and
Inna Pereverzeva and
Elena Troubitsyna and
Timo Latvala},
editor = {Floor Koornneef and
Coen van Gulijk},
title = {The Formal Derivation of Mode Logic for Autonomous Satellite Flight
Formation},
booktitle = {Computer Safety, Reliability, and Security - 34th International Conference,
{SAFECOMP} 2015 Delft, The Netherlands, September 23-25, 2015. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9337},
pages = {29--43},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-319-24255-2\_4},
doi = {10.1007/978-3-319-24255-2\_4},
timestamp = {Tue, 14 May 2019 10:00:44 +0200},
biburl = {https://dblp.org/rec/conf/safecomp/TarasyukPTL15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/scp/IliasovTLRVIL13,
author = {Alexei Iliasov and
Elena Troubitsyna and
Linas Laibinis and
Alexander B. Romanovsky and
Kimmo Varpaaniemi and
Dubravka Ilic and
Timo Latvala},
title = {Developing mode-rich satellite software by refinement in Event-B},
journal = {Sci. Comput. Program.},
volume = {78},
number = {7},
pages = {884--905},
year = {2013},
url = {https://doi.org/10.1016/j.scico.2012.04.010},
doi = {10.1016/J.SCICO.2012.04.010},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/scp/IliasovTLRVIL13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/safecomp/ProkhorovaTLIL13,
author = {Yuliya Prokhorova and
Elena Troubitsyna and
Linas Laibinis and
Dubravka Ilic and
Timo Latvala},
editor = {Friedemann Bitsch and
J{\'{e}}r{\'{e}}mie Guiochet and
Mohamed Ka{\^{a}}niche},
title = {Formalisation of an Industrial Approach to Monitoring Critical Data},
booktitle = {Computer Safety, Reliability, and Security - 32nd International Conference,
{SAFECOMP} 2013, Toulouse, France, September 24-27, 2013. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8153},
pages = {57--69},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-642-40793-2\_6},
doi = {10.1007/978-3-642-40793-2\_6},
timestamp = {Tue, 14 May 2019 10:00:44 +0200},
biburl = {https://dblp.org/rec/conf/safecomp/ProkhorovaTLIL13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:books/daglib/p/IlicLLTV13,
author = {Dubravka Ilic and
Linas Laibinis and
Timo Latvala and
Elena Troubitsyna and
Kimmo Varpaaniemi},
editor = {Alexander B. Romanovsky and
Martyn Thomas},
title = {Deployment in the Space Sector},
booktitle = {Industrial Deployment of System Engineering Methods},
pages = {45--62},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-642-33170-1\_5},
doi = {10.1007/978-3-642-33170-1\_5},
timestamp = {Mon, 05 Feb 2024 20:35:54 +0100},
biburl = {https://dblp.org/rec/books/daglib/p/IlicLLTV13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijccbs/ProkhorovaLTVL12,
author = {Yuliya Prokhorova and
Linas Laibinis and
Elena Troubitsyna and
Kimmo Varpaaniemi and
Timo Latvala},
title = {Deriving a mode logic using failure modes and effects analysis},
journal = {Int. J. Crit. Comput. Based Syst.},
volume = {3},
number = {4},
pages = {305--328},
year = {2012},
url = {https://doi.org/10.1504/IJCCBS.2012.053206},
doi = {10.1504/IJCCBS.2012.053206},
timestamp = {Thu, 10 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ijccbs/ProkhorovaLTVL12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icse/IliasovRLTL12,
author = {Alexei Iliasov and
Alexander B. Romanovsky and
Linas Laibinis and
Elena Troubitsyna and
Timo Latvala},
editor = {Stefania Gnesi and
Stefan Gruner and
Nico Plat and
Bernhard Rumpe},
title = {Augmenting Event-B modelling with real-time verification},
booktitle = {Proceedings of the First International Workshop on Formal Methods
in Software Engineering - Rigorous and Agile Approaches, FormSERA
2012, Zurich, Switzerland, June 2, 2012},
pages = {51--57},
publisher = {{IEEE}},
year = {2012},
url = {https://doi.org/10.1109/FormSERA.2012.6229789},
doi = {10.1109/FORMSERA.2012.6229789},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icse/IliasovRLTL12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/safecomp/TarasyukPTLN12,
author = {Anton Tarasyuk and
Inna Pereverzeva and
Elena Troubitsyna and
Timo Latvala and
Laura Nummila},
editor = {Frank Ortmeier and
Peter Daniel},
title = {Formal Development and Assessment of a Reconfigurable On-board Satellite
System},
booktitle = {Computer Safety, Reliability, and Security - 31st International Conference,
{SAFECOMP} 2012, Magdeburg, Germany, September 25-28, 2012. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7612},
pages = {210--222},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-33678-2\_18},
doi = {10.1007/978-3-642-33678-2\_18},
timestamp = {Tue, 14 May 2019 10:00:44 +0200},
biburl = {https://dblp.org/rec/conf/safecomp/TarasyukPTLN12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/apsec/ProkhorovaLTVL11,
author = {Yuliya Prokhorova and
Linas Laibinis and
Elena Troubitsyna and
Kimmo Varpaaniemi and
Timo Latvala},
editor = {Tran Dan Thu and
Karl R. P. H. Leung},
title = {Derivation and Formal Verification of a Mode Logic for Layered Control
Systems},
booktitle = {18th Asia Pacific Software Engineering Conference, {APSEC} 2011, Ho
Chi Minh, Vietnam, December 5-8, 2011},
pages = {49--56},
publisher = {{IEEE} Computer Society},
year = {2011},
url = {https://doi.org/10.1109/APSEC.2011.38},
doi = {10.1109/APSEC.2011.38},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/apsec/ProkhorovaLTVL11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/asm/IliasovTLRVIL10,
author = {Alexei Iliasov and
Elena Troubitsyna and
Linas Laibinis and
Alexander B. Romanovsky and
Kimmo Varpaaniemi and
Dubravka Ilic and
Timo Latvala},
editor = {Marc Frappier and
Uwe Gl{\"{a}}sser and
Sarfraz Khurshid and
R{\'{e}}gine Laleau and
Steve Reeves},
title = {Supporting Reuse in Event {B} Development: Modularisation Approach},
booktitle = {Abstract State Machines, Alloy, {B} and Z, Second International Conference,
{ABZ} 2010, Orford, QC, Canada, February 22-25, 2010. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5977},
pages = {174--188},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-11811-1\_14},
doi = {10.1007/978-3-642-11811-1\_14},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/asm/IliasovTLRVIL10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fmics/IliasovTLRVIL10,
author = {Alexei Iliasov and
Elena Troubitsyna and
Linas Laibinis and
Alexander B. Romanovsky and
Kimmo Varpaaniemi and
Dubravka Ilic and
Timo Latvala},
editor = {Stefan Kowalewski and
Marco Roveri},
title = {Developing Mode-Rich Satellite Software by Refinement in Event {B}},
booktitle = {Formal Methods for Industrial Critical Systems - 15th International
Workshop, {FMICS} 2010, Antwerp, Belgium, September 20-21, 2010. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6371},
pages = {50--66},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-15898-8\_4},
doi = {10.1007/978-3-642-15898-8\_4},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/fmics/IliasovTLRVIL10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/safecomp/IliasovTLRVVIL10,
author = {Alexei Iliasov and
Elena Troubitsyna and
Linas Laibinis and
Alexander B. Romanovsky and
Kimmo Varpaaniemi and
Pauli V{\"{a}}is{\"{a}}nen and
Dubravka Ilic and
Timo Latvala},
editor = {Erwin Schoitsch},
title = {Verifying Mode Consistency for On-Board Satellite Software},
booktitle = {Computer Safety, Reliability, and Security, 29th International Conference,
{SAFECOMP} 2010, Vienna, Austria, September 14-17, 2010. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6351},
pages = {126--141},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-15651-9\_10},
doi = {10.1007/978-3-642-15651-9\_10},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/safecomp/IliasovTLRVVIL10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/saso/KarmaniLA07,
author = {Rajesh K. Karmani and
Timo Latvala and
Gul Agha},
title = {On Scaling Multi-Agent Task Reallocation Using Market-Based Approach},
booktitle = {Proceedings of the First International Conference on Self-Adaptive
and Self-Organizing Systems, {SASO} 2007, Boston, MA, USA, July 9-11,
2007},
pages = {173--182},
publisher = {{IEEE} Computer Society},
year = {2007},
url = {https://doi.org/10.1109/SASO.2007.41},
doi = {10.1109/SASO.2007.41},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/saso/KarmaniLA07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/lmcs/BiereHJLS06,
author = {Armin Biere and
Keijo Heljanko and
Tommi A. Junttila and
Timo Latvala and
Viktor Schuppan},
title = {Linear Encodings of Bounded {LTL} Model Checking},
journal = {Log. Methods Comput. Sci.},
volume = {2},
number = {5},
year = {2006},
url = {https://doi.org/10.2168/LMCS-2(5:5)2006},
doi = {10.2168/LMCS-2(5:5)2006},
timestamp = {Thu, 25 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/lmcs/BiereHJLS06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/HeljankoJKLL06,
author = {Keijo Heljanko and
Tommi A. Junttila and
Misa Kein{\"{a}}nen and
Martin Lange and
Timo Latvala},
editor = {Thomas Ball and
Robert B. Jones},
title = {Bounded Model Checking for Weak Alternating B{\"{u}}chi Automata},
booktitle = {Computer Aided Verification, 18th International Conference, {CAV}
2006, Seattle, WA, USA, August 17-20, 2006, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4144},
pages = {95--108},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/11817963\_12},
doi = {10.1007/11817963\_12},
timestamp = {Tue, 14 May 2019 10:00:43 +0200},
biburl = {https://dblp.org/rec/conf/cav/HeljankoJKLL06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hvc/EytaniL06,
author = {Yaniv Eytani and
Timo Latvala},
editor = {Eyal Bin and
Avi Ziv and
Shmuel Ur},
title = {Explaining Intermittent Concurrent Bugs by Minimizing Scheduling Noise},
booktitle = {Hardware and Software, Verification and Testing, Second International
Haifa Verification Conference, {HVC} 2006, Haifa, Israel, October
23-26, 2006. Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {4383},
pages = {183--197},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/978-3-540-70889-6\_14},
doi = {10.1007/978-3-540-70889-6\_14},
timestamp = {Tue, 14 May 2019 10:00:42 +0200},
biburl = {https://dblp.org/rec/conf/hvc/EytaniL06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-cs-0611029,
author = {Armin Biere and
Keijo Heljanko and
Tommi A. Junttila and
Timo Latvala and
Viktor Schuppan},
title = {Linear Encodings of Bounded {LTL} Model Checking},
journal = {CoRR},
volume = {abs/cs/0611029},
year = {2006},
url = {http://arxiv.org/abs/cs/0611029},
eprinttype = {arXiv},
eprint = {cs/0611029},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-cs-0611029.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@phdthesis{DBLP:phd/basesearch/Latvala05,
author = {Timo Latvala},
title = {Automata-theoretic and bounded model checking for linear temporal
logic},
school = {Helsinki University of Technology, Finland},
year = {2005},
url = {https://aaltodoc.aalto.fi/handle/123456789/2600},
timestamp = {Mon, 20 Mar 2017 00:00:00 +0100},
biburl = {https://dblp.org/rec/phd/basesearch/Latvala05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/HeljankoJL05,
author = {Keijo Heljanko and
Tommi A. Junttila and
Timo Latvala},
editor = {Kousha Etessami and
Sriram K. Rajamani},
title = {Incremental and Complete Bounded Model Checking for Full {PLTL}},
booktitle = {Computer Aided Verification, 17th International Conference, {CAV}
2005, Edinburgh, Scotland, UK, July 6-10, 2005, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3576},
pages = {98--111},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/11513988\_10},
doi = {10.1007/11513988\_10},
timestamp = {Tue, 14 May 2019 10:00:43 +0200},
biburl = {https://dblp.org/rec/conf/cav/HeljankoJL05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/vmcai/LatvalaBHJ05,
author = {Timo Latvala and
Armin Biere and
Keijo Heljanko and
Tommi A. Junttila},
editor = {Radhia Cousot},
title = {Simple Is Better: Efficient Bounded Model Checking for Past {LTL}},
booktitle = {Verification, Model Checking, and Abstract Interpretation, 6th International
Conference, {VMCAI} 2005, Paris, France, January 17-19, 2005, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3385},
pages = {380--395},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/978-3-540-30579-8\_25},
doi = {10.1007/978-3-540-30579-8\_25},
timestamp = {Tue, 14 May 2019 10:00:43 +0200},
biburl = {https://dblp.org/rec/conf/vmcai/LatvalaBHJ05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/njc/LatvalaT04,
author = {Timo Latvala and
Heikki Tauriainen},
title = {Improved On-the-fly Verification with Testers},
journal = {Nord. J. Comput.},
volume = {11},
number = {2},
pages = {148--164},
year = {2004},
timestamp = {Wed, 03 May 2006 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/njc/LatvalaT04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/apn/LatvalaM04,
author = {Timo Latvala and
Marko M{\"{a}}kel{\"{a}}},
editor = {Jordi Cortadella and
Wolfgang Reisig},
title = {{LTL} Model Checking for Modular Petri Nets},
booktitle = {Applications and Theory of Petri Nets 2004, 25th International Conference,
{ICATPN} 2004, Bologna, Italy, June 21-25, 2004, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3099},
pages = {298--311},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/978-3-540-27793-4\_17},
doi = {10.1007/978-3-540-27793-4\_17},
timestamp = {Tue, 14 May 2019 10:00:45 +0200},
biburl = {https://dblp.org/rec/conf/apn/LatvalaM04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fmcad/LatvalaBHJ04,
author = {Timo Latvala and
Armin Biere and
Keijo Heljanko and
Tommi A. Junttila},
editor = {Alan J. Hu and
Andrew K. Martin},
title = {Simple Bounded {LTL} Model Checking},
booktitle = {Formal Methods in Computer-Aided Design, 5th International Conference,
{FMCAD} 2004, Austin, Texas, USA, November 15-17, 2004, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3312},
pages = {186--200},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/978-3-540-30494-4\_14},
doi = {10.1007/978-3-540-30494-4\_14},
timestamp = {Tue, 14 May 2019 10:00:54 +0200},
biburl = {https://dblp.org/rec/conf/fmcad/LatvalaBHJ04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/spin/Latvala03,
author = {Timo Latvala},
editor = {Thomas Ball and
Sriram K. Rajamani},
title = {Efficient Model Checking of Safety Properties},
booktitle = {Model Checking Software, 10th International {SPIN} Workshop. Portland,
OR, USA, May 9-10, 2003, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2648},
pages = {74--88},
publisher = {Springer},
year = {2003},
url = {https://doi.org/10.1007/3-540-44829-2\_5},
doi = {10.1007/3-540-44829-2\_5},
timestamp = {Tue, 14 May 2019 10:00:36 +0200},
biburl = {https://dblp.org/rec/conf/spin/Latvala03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/apn/Latvala01,
author = {Timo Latvala},
editor = {Jos{\'{e}} Manuel Colom and
Maciej Koutny},
title = {Model Checking {LTL} Properties of High-Level Petri Nets with Fairness
Constraints},
booktitle = {Application and Theory of Petri Nets 2001, 22nd International Conference,
{ICATPN} 2001, Newcastle upon Tyne, UK, June 25-29, 2001, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2075},
pages = {242--262},
publisher = {Springer},
year = {2001},
url = {https://doi.org/10.1007/3-540-45740-2\_15},
doi = {10.1007/3-540-45740-2\_15},
timestamp = {Tue, 14 May 2019 10:00:45 +0200},
biburl = {https://dblp.org/rec/conf/apn/Latvala01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fuin/LatvalaH00,
author = {Timo Latvala and
Keijo Heljanko},
title = {Coping With Strong Fairness},
journal = {Fundam. Informaticae},
volume = {43},
number = {1-4},
pages = {175--193},
year = {2000},
url = {https://doi.org/10.3233/FI-2000-43123409},
doi = {10.3233/FI-2000-43123409},
timestamp = {Fri, 18 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fuin/LatvalaH00.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 2024-04-21 17:21 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:
