par Raskin, Jean-François ;Schobbens, Pierre-Yves
Référence Electronic Notes in Theoretical Computer Science, 23, 2, page (131-149)
Publication Publié, 1999
Article révisé par les pairs
Titre:
  • Models Generation of a Fictitious Clock Real-Time Logic Using Sharing-Trees
Auteur:Raskin, Jean-François; Schobbens, Pierre-Yves
Informations sur la publication:Electronic Notes in Theoretical Computer Science, 23, 2, page (131-149)
Statut de publication:Publié, 1999
Sujet CREF:Informatique mathématique
Langue:Anglais
Identificateurs:urn:issn:1571-0661