An Introduction to Practical Formal Methods Using Temporal Logic (Fisher/An Introduction to Practical Formal Methods Using Temporal Logic) || IntroductionFisher, Michael · 2011

An Introduction to Practical Formal Methods Using Temporal Logic (Fisher/An Introduction to Practical Formal Methods Using Temporal Logic) ||Fisher, Michael · 2011

An Introduction to Practical Formal Methods Using Temporal Logic (Fisher/An Introduction to Practical Formal Methods Using Temporal Logic) || IndexFisher, Michael · 2011

An Introduction to Practical Formal Methods Using Temporal Logic (Fisher/An Introduction to Practical Formal Methods Using Temporal Logic) || ReferencesFisher, Michael · 2011

An Introduction to Practical Formal Methods Using Temporal Logic (Fisher/An Introduction to Practical Formal Methods Using Temporal Logic) || SummaryFisher, Michael · 2011

An Introduction to Practical Formal Methods Using Temporal Logic (Fisher/An Introduction to Practical Formal Methods Using Temporal Logic) || DeductionFisher, Michael · 2011

An Introduction to Practical Formal Methods Using Temporal Logic (Fisher/An Introduction to Practical Formal Methods Using Temporal Logic) || ExecutionFisher, Michael · 2011

Book reviewsZook, Darren C.; Iyer, Nalini; Fisher, Michael H.; Guptara, Prabhu; Rogaly, Ben; Saavala, Minna; Krishnan, Shekhar; Spieß, Clemens; Kuortti, Joel; Tropp, Håkan; Anandan, Prathima; Menski, Werner; Hickman, John; Dayal, Samir; Singh, Amardeep; Oonk, Gijsbert; Currie, Bob; Noronha, Frederick; Ray Chaudhury, Anasua Basu; Behera, Ajay Darshan; Tartakov, Gary Michael; Khan, Niaz Ahmed; Fisher, Michael H. · Contemporary South Asia · 1999

Book reviews and noticesChristian K. Wedemeyer; June McDaniel; Werner F. Menski; Narasingha P. Sil; Douglas Allen; Michael H. Fisher; James Kenneth Powell; Michael H. Fisher; J. Soni; John Powers; Karen Pechilis Prentiss; Paul Donnelly; Klaus Witz; Richard Barz · 1999

ReviewsFisher, Elizabeth; Macaskill, Donald; Woodward, James; Bryan, David; Messer, Neil; Gilbertson, Michael; Fisher, Peter; Peel, David; Duckett, Helen; Scott, Chris · British Journal of Theological Education · 1998

Formalisms for multi-agent systemsD'INVERNO, MARK; FISHER, MICHAEL; LOMUSCIO, ALESSIO; LUCK, MICHAEL; DE RIJKE, MAARTEN; RYAN, MARK; WOOLDRIDGE, MICHAEL · The Knowledge Engineering Review · 1997

Attitudes toward needle-sharing and HIV transmission risk behavior among HIV+ injection drug users in clinical careNorton, Wynne; Rivet Amico, K.; Fisher, William; Copenhaver, Michael; Kozal, Michael; Cornman, Deborah; Friedland, Gerald; Fisher, Jeffrey · AIDS Care · 2008

2.2.2 Lessons Learned from Benchmarking and Planned Process ImprovementsFisher, Gerard H.; Dobry, Michael; Fisher, Jack; Friedenthal, Sanford · INCOSE International Symposium · 1995

[IEEE Eighth World Congress on the Management of eBusiness (WCMeB 2007) - Toronto, ON, Canada (2007.07.11-2007.07.13)] Eighth World Congress on the Management of eBusiness (WCMeB 2007) - A Framework for Interdisciplinary Team Communication and its Implications for Information Systems DesignKuziemsky, Craig E.; Kuziemsky, Craig E.; Kuziemsky, Craig E.; Kuziemsky, Craig E.; Borycki, Elizabeth M.; Borycki, Elizabeth M.; Borycki, Elizabeth M.; Borycki, Elizabeth M.; Black, Fraser; Black, Fraser; Black, Fraser; Black, Fraser; Boyle, Michael; Boyle, Michael; Boyle, Michael; Boyle, Michael; Cloutier-Fisher, Denise; Cloutier-Fisher, Denise; Cloutier-Fisher, Denise; Cloutier-Fisher, Denise; Fox, LeAnn; Fox, LeAnn; Fox, LeAnn; Fox, LeAnn; MacKenzie, Pat; MacKenzie, Pat; MacKenzie, Pat; MacKenzie, Pat; Purkis, ME; Purkis, ME; Purkis, ME; Purkis, ME; Syme, Ann; Syme, Ann; Syme, Ann; Syme, Ann; Tschanz, Coby; Tschanz, Coby; Tschanz, Coby; Tschanz, Coby; Wainwright, Wendy; Wainwright, Wendy; Wainwright, Wendy; Wainwright, Wendy; Wong, Helen; Wong, Helen; Wong, Helen; Wong, Helen · 2007

Remnant functionsMichael E. Fisher; Michael N. Barber · Archive for Rational Mechanics and Analysis · 1972