Skip to content

Loading

Search Explore Expert picks

FA Sign in

Search Explore Expert picks Sign in

Discover references

Kim Guldstrand Larsen

Books

1 results

Cover of Principles of Model Checking

English Advanced

Principles of Model Checking

Christel Baier,Joost-Pieter Katoen,Kim Guldstrand Larsen

2008 View book

An open, expert-guided library for choosing better learning references.

Request a book Search Experts

© RefHub · Open references for deeper learning