Start Over
You searched for: author Larsen, Kim G.

Search Results

Cover image for Models, Mindsets, Meta

Models, Mindsets, Meta

Location
Access Content Online
Cover image for Computer Aided Verification

Computer Aided Verification

  • 2002
  • Format: Electronic
Location
Access Content Online
Cover image for Dependable Software Engineering. Theories, Tools, and Applications Third International Symposium, SETTA 2017, Changsha, China, October 23-25, 2017, Proceedings

Dependable Software Engineering. Theories, Tools, and Applications Third International Symposium, SETTA 2017, Changsha, China, October 23-25, 2017, Proceedings

Location
Access Content Online
Cover image for Reachability Problems 10th International Workshop, RP 2016, Aalborg, Denmark, September 19-21, 2016, Proceedings

Reachability Problems 10th International Workshop, RP 2016, Aalborg, Denmark, September 19-21, 2016, Proceedings

Location
Access Content Online
Cover image for Formal Methods for Industrial Critical Systems 24th International Conference, FMICS 2019, Amsterdam, The Netherlands, August 30-31, 2019, Proceedings

Formal Methods for Industrial Critical Systems 24th International Conference, FMICS 2019, Amsterdam, The Netherlands, August 30-31, 2019, Proceedings

Location
Access Content Online
Cover image for Formal modeling and analysis of timed systems

Formal modeling and analysis of timed systems

Location
Access Content Online
Cover image for The composition of coalbed gas

The composition of coalbed gas

Location
Access Content Online
Cover image for Laboratory studies on spontaneous heating of coal

Laboratory studies on spontaneous heating of coal

Location Call # Status
Joyner - Fed Docs Stacks ASK AT REFERENCE DESK ✔ Available
Cover image for Wordsworth's influence on Shelley

Wordsworth's influence on Shelley

Location Call # Status
Joyner - General Stacks PR5433 .B5 1988 ✔ Available
Cover image for A guide to reference books for small and medium-sized libraries, 1984-1994

A guide to reference books for small and medium-sized libraries, 1984-1994

Location Call # Status
Joyner - General Stacks Z1035.1 .D665 1995 ✔ Available