TDG Scholar TDGScholar Committed to research! Version 1.7

Bibliography

| Report | Share
A total of 18 records were found in 0.094 seconds
Bimodal Logics for Reasoning About Continuous Dynamics
Advances in Modal Logic, 91-111, 2000
Effective Programming
Australian Computer Journal, 4(3):112-119, 1972