Multi-Partite Graphs and Verification of Software Applications for Real-Time Systems
y
22 jun 2016
Acerca de este artículo
Publicado en línea: 22 jun 2016
Páginas: 85 - 96
DOI: https://doi.org/10.1515/cait-2016-0022
Palabras clave
© by Victor Nikiforov
This work is licensed under the Creative Commons Attribution-NonCommercial-NoDerivatives 4.0 License.
Nikiforov, Victor
Baranov, Sergey