To search, Click below search items.

 

All Published Papers Search Service

Results for first order predicates; Total 1

Title

Creation of Estelle Specifications Using Predicate Logic

Author

Germanas Budnikas, Tadeu? Lozovski, Miroslav ?eibak
Citation

Vol. 12  No. 12  pp. 129-135

Keywords

Estelle specification, first order predicates, alternating bit protocol

[1]