Rechercher

[BB13] On combining the ready sets with the covering steps method

Revue Internationale avec comité de lecture : Journal Int. J. of Critical Computer-Based Systems, pp. 67-85, 2013

Mots clés: Verification, partial order methods, Time Petri nets

Résumé: H. Boucheneb, K. Barkaoui "On combining the ready sets with the covering steps method", accepted for publication in Int. J. of Critical Computer-Based Systems.

Equipe: vespa

BibTeX

@article {
BB13,
title="{On combining the ready sets with the covering steps method}",
author="H. Boucheneb and K. Barkaoui",
journal="Int. J. of Critical Computer-Based Systems",
year=2013,
pages="67-85",
}