Constraint-Based Algorithm for Computing Temporal Invariants (2014)
AUTHORS:
Rintanen Jussi
BOOKTITLE:
Logics in Artificial Intelligence, 14th European Conference, JELIA 2014, September 2014, Proceedings
SERIES:
Lecture Notes in Computer Science
VOLUME:
8761
PAGES:
665-673
PDF:
pdf/Rintanen14jelia.pdf
@inproceedings{ Rintanen14jelia, editor = "Ferm{\'e}, E. and Leite, J.", author = "Rintanen, Jussi", publisher = "Springer-Verlag", responsibleauthor = "Rintanen, Jussi", language = "eng", title = "Constraint-Based Algorithm for Computing Temporal Invariants", series = "Lecture Notes in Computer Science", booktitle = "Logics in Artificial Intelligence, 14th European Conference, JELIA 2014, September 2014, Proceedings", year = "2014", isbn = "978-3-319-11557-3", flags = "COIN HIIT public TRITON", volume = "8761", juforank = "1", il = "yes", eventdetails = "European Conference on Logics in Artificial Intelligence, Funchal, Madeira", pdf = "Rintanen14jelia.pdf", unitcode = "T306-99, T312-1", kay = "NA", impactfactor = "A4", pages = "665-673" }