Publications

Publications de

Communications dans un congrès
  • Jean-Paul Bahsoun, Rami El Baida, Hugues-Olivier Yar

    Decision Procedure for Temporal Logic of Concurrent Object

    Dans : 5th International Euro-Par’99 conferenceParallel Processing, Toulouse France, 31/08/99-03/09/99, Lecture Notes in Computer ScienceGoos, Hartmantis and LeeuwenSpringer, p. 1344-1352, août 1999.

    BibTeX

Départements
Type de publication
Critères





Opérateur   ET   OU
Trier par