G. Denker
AuthID: R-00H-M5A
1
TITLE: A linear temporal logic approach to objects with transactions
AUTHORS: Denker, G; Ramos, J; Caleiro, C; Sernadas, A;
PUBLISHED: 1997, SOURCE: 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
AUTHORS: Denker, G; Ramos, J; Caleiro, C; Sernadas, A;
PUBLISHED: 1997, SOURCE: 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
INDEXED IN: 
Scopus
Scopus