Sequential and Parallel Algorithms for the State Space Exploration
Authors
Lamia Allal
Ghalem Belalem
Philippe Dhaussy
Ciprian Teodorov
DOI: https://doi.org/10.1515/cait-2016-0001 | Journal eISSN: 1314-4081 | Journal ISSN: 1311-9702 (formerly 1314-4081)
Language: English
Page range: 3 - 18
Published on: Apr 9, 2016
Published by: Bulgarian Academy of Sciences, Institute of Information and Communication Technologies
In partnership with: Paradigm Publishing Services
Related subjects:
© 2016 Lamia Allal, Ghalem Belalem, Philippe Dhaussy, Ciprian Teodorov, published by Bulgarian Academy of Sciences, Institute of Information and Communication Technologies
This work is licensed under the Creative Commons Attribution-NonCommercial-NoDerivatives 3.0 License.