TDG Scholar TDGScholar Committed to research! Version 1.7

Bibliography

| Report | Share
More than 125 records were found in 0.609 seconds
Micro Mobile Programs
IFIP TCS, 356-369, 2002
Specification and Formal Analysis of a PLAN Algorithm in Maude
ICDCS Workshop on Distributed System Validation and Verification, E49-E56, 2000