A generalization of the E-LOTOS trapping operator: towards reconciliation with LOTOS

Monika Kapus-Kolar. A generalization of the E-LOTOS trapping operator: towards reconciliation with LOTOS. Computer Standards & Interfaces, 24(5):389-393, 2002. [doi]

Abstract

Abstract is missing.