by
Panangaden, Prakash.
Format:
Electronic Resources
Excerpt:
in a CTMP -- 12.3 The Logic CSL -- 12.4 A General Technique for Relating Bisimulation and Logic -- 12
by
Burgin, Mark.
Format:
Electronic Resources
Excerpt:
Foundations -- Appendix B: Elements of the Theory of Algorithms -- Appendix C: Elements of Logic -- Appendix D
View Other Search Results
by
Weinhold, Frank.
Format:
Electronic Resources
Excerpt:
and Differentials -- 1.1 Physical Conception of Mathematical Functions and Differentials -- 1.2 Four
Limit Search Results
Narrowed by: