Order Independent Temporal Properties
From MaRDI portal
Publication:4820468
DOI10.1093/logcom/14.2.277zbMath1101.68020OpenAlexW2014832312MaRDI QIDQ4820468
Nicole Bidoit, Luc Segoufin, Sandra de Amo
Publication date: 15 October 2004
Published in: Journal of Logic and Computation (Search for Journal in Brave)
Full work available at URL: https://hal.inria.fr/hal-02887779/file/journal.pdf
This page was built for publication: Order Independent Temporal Properties