CiNii

Articles, Data
Books

Login
Japanese

Book & Journal
Author
Content

Books and Journals

Books

Journals

Advanced Search

Title

Exact Title Match Include Uniform Titles

Author

Include Alias Names

Author ID

Uniform Title ID

Publisher

ISBN

ISSN

NCID

Subject

Classification

Note

Format

Language

Year

from to

Library ID

Organization ID

Area

Remember Lib. ID / Org. ID / Area

Close

【Created on October 31, 2023】Integration of CiNii Books into CiNii Research
【Updated on April 2, 2025】Deletion of data provided by Nielsen Book Services UK

Visser, Willem

ID:DA12842933

Search authors sharing the same name

Search Results1-1 of 1

Select all：

1

SPIN model checking and software verification : 7th International SPIN Workshop, Stanford, CA, USA, August 30-September 1, 2000 : proceedings

Klaus Havelund, John Penix, Willem Visser (eds.)

Springer c2000 Lecture notes in computer science 1885

Available at 32 libraries

Search this author

VIAF
KAKEN — Researchers
J-GLOBAL
researchmap
Google Scholar
Google
Yahoo! JAPAN

Related Authors

SPIN
Havelund, Klaus
Penix, John

Smart Phone

|

PC

About CiNii

Help

News
- Updates
- RSS
- Twitter

NII Scholarly Services
- KAKEN
- IRDB
- NII-REO