Thierry Nicola, Frank Nießner, Ulrich Ultes-Nitsche. Checking Inherently Fair Linear-Time Properties in a Non-Naïve Way. In Ulrich Ultes-Nitsche, Daniel Moldt, Juan Carlos Augusto, editors, Modelling, Simulation, Verification and Validation of Enterprise Information Systems, Proceedings of the 6th International Workshop on Modelling, Simulation, Verification and Validation of Enterprise Information Systems, MSVVEIS-2008, In conjunction with . pages 49-58, INSTICC PRESS, 2008.
@inproceedings{NicolaNU08,
title = {Checking Inherently Fair Linear-Time Properties in a Non-Naïve Way},
author = {Thierry Nicola and Frank Nießner and Ulrich Ultes-Nitsche},
year = {2008},
researchr = {https://researchr.org/publication/NicolaNU08},
cites = {0},
citedby = {0},
pages = {49-58},
booktitle = {Modelling, Simulation, Verification and Validation of Enterprise Information Systems, Proceedings of the 6th International Workshop on Modelling, Simulation, Verification and Validation of Enterprise Information Systems, MSVVEIS-2008, In conjunction with },
editor = {Ulrich Ultes-Nitsche and Daniel Moldt and Juan Carlos Augusto},
publisher = {INSTICC PRESS},
isbn = {978-989-8111-43-2},
}