Universal Temporal Concurrent Constraint Programming. (Programmation Concurrent par Contraintes pour Vérifier un Protocole de Sécurité)

@inproceedings{Olarte2009UniversalTC,
  title={Universal Temporal Concurrent Constraint Programming. (Programmation Concurrent par Contraintes pour V{\'e}rifier un Protocole de S{\'e}curit{\'e})},
  author={Carlos Olarte},
  year={2009}
}

From This Paper

Topics from this paper.
3 Citations
0 References
Similar Papers

Citations

Publications citing this paper.

Similar Papers

Loading similar papers…