Dépliages pour la vérification de propriétés temporelles

Jean-Michel Couvreur Denis Poitrenaud 1
1 SRC - Systèmes répartis et coopératifs
LIP6 - Laboratoire d'Informatique de Paris 6
Document type :
Book sections
Complete list of metadatas

https://hal.archives-ouvertes.fr/hal-01531540
Contributor : Lip6 Publications <>
Submitted on : Thursday, June 1, 2017 - 5:45:44 PM
Last modification on : Thursday, March 21, 2019 - 2:42:51 PM

Identifiers

  • HAL Id : hal-01531540, version 1

Citation

Jean-Michel Couvreur, Denis Poitrenaud. Dépliages pour la vérification de propriétés temporelles. Vérification et mise en oeuvre des réseaux de Petri, Hermes Science Publications, pp.127-162, 2003, 2-7462-0445-2. ⟨hal-01531540⟩

Share

Metrics

Record views

45