1
TÍTULO: A linear temporal logic approach to objects with transactions
AUTORES: Denker, G; Ramos, J; Caleiro, C; Sernadas, A;
PUBLICAÇÃO: 1997, FONTE: 6th International Algebraic Methodology and Software Technology Conference, AMAST 1997 in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 1349
INDEXADO EM: Scopus