Start Over
You searched for: author Larsen, K. G. (Kim G.), 1957-

Search Results

Cover image for Formal modeling and analysis of timed systems

Formal modeling and analysis of timed systems

Location
Access Content Online
Cover image for Computer aided verification

Computer aided verification

Joyner Library - General Stacks
Call Number: QA76.76.V47 C38 2002
Cover image for Computer aided verification

Computer aided verification

Joyner Library - General Stacks
Call Number: QA76.76.E93 C38 1992
Cover image for CONCUR 2001, concurrency theory

CONCUR 2001, concurrency theory

Location
Access Content Online
Cover image for CONCUR 2001

CONCUR 2001

Location
Access Content Online
Cover image for Automata, languages and programming

Automata, languages and programming

Joyner Library - General Stacks
Call Number: QA267 .I23 1998
Cover image for Computer aided verification

Computer aided verification

Location
Access Content Online
Cover image for Asian-American poets

Asian-American poets

  • 2002
  • Format: Electronic
Location
Access Content Online
Cover image for Beyond Babylon

Beyond Babylon

  • 2008
  • Format: Book
Location
Access Content Online
Cover image for The literature of Australia

The literature of Australia

  • 2009
  • Format: Book
Location
Access Content Online