Accueil > Equipes > AeLoS > Les publications (via hal)

Les publications (via hal)

Liste de publications (extraite de hal) des membres de l’équipe

  • Yrvann Emzivat, Benoit Delahaye, Didier Lime, Olivier Roux [hal-01590900] Probabilistic Time Petri Nets [Consulter...]
  • Etienne André, Benoit Delahaye [hal-01590892] Consistency in Parametric Interval Probabilistic Timed Automata [Consulter...]
  • Benoit Delahaye, Didier Lime, Laure Petrucci [hal-01590884] Parameter Synthesis for Parametric Interval Markov Chains [Consulter...]
  • Marin Bertier, Matthieu Perrin, Cédric Tedeschi [hal-01326849] On the Complexity of Concurrent Multiset Rewriting [Consulter...]
  • Matthieu Perrin [tel-01390700] Spécification des objets partagés dans les systèmes répartis sans-attente [Consulter...]