Search Results | The Computer Journal | Oxford Academic

Skip to Main Content

Advertisement

Journals

Books

Sign in through your institution

Navbar Search Filter Mobile Enter search term Search

Issues
More Content
- Advance Articles
- Special Issues
Submit
Purchase
Alerts
About
Journals on Oxford Academic
Books on Oxford Academic

BCS Journals

Issues
More Content
- Advance Articles
- Special Issues
Submit
Purchase
Alerts
About

Close

Navbar Search Filter Enter search term Search

Advanced Search

AI Discovery Assistant

Skip to results

Modify your search

Edit your search term, change scope of search Enter search term

Full Text Keywords Title Author/Editor/ORCiD Abstract References/Bibliography

Select the operation between terms

AND

OR

NOT

Edit your search term, change scope of search Enter search term

Full Text Keywords Title Author/Editor/ORCiD Abstract References/Bibliography

Select the operation between terms

AND

OR

NOT

Edit your search term, change scope of search Enter search term

Full Text Keywords Title Author/Editor/ORCiD Abstract References/Bibliography

Select the operation between terms

AND

OR

NOT

Edit your search term, change scope of search Enter search term

Full Text Keywords Title Author/Editor/ORCiD Abstract References/Bibliography

Select the operation between terms

AND

OR

NOT

Edit your search term, change scope of search Enter search term

Full Text Keywords Title Author/Editor/ORCiD Abstract References/Bibliography

Select the operation between terms

AND

OR

NOT

Edit your search term, change scope of search Enter search term

Full Text Keywords Title Author/Editor/ORCiD Abstract References/Bibliography

Availability

Availability

All content I have access to

Purchased
Free

NARROW

Format

Facet list

Journal Article (1)

Type

Facet list

Research Article (1)

Section

Find a Section

The list will update as you type

Facet list

Original Articles (1)
Section A (1)

Publication date

Date Range

Published
Updated

Date range

Single date

From Select month

To Select month

Publication date

1-1 of 1

Authors: Kenji Hisazumi

Save search

Follow your search

Access your saved searches in your account

saved search image

Name your search

Follow this search

Would you like to receive an alert when new items match your search?

Save search

Sort by

Sort Order Select

Journal Article

Facilitating Multicore Bounded Model Checking with Stateless Explicit-State Exploration Get access

PDF

Weiqiang Kong and others

The Computer Journal, Volume 58, Issue 11, November 2015, Pages 2824–2840, https://doi.org/10.1093/comjnl/bxu127

Published: 17 November 2014

Advertisement

Email alerts

New journal issues

New journal articles

Sign up for marketing

Perform this search in

Journals Journals

Books Books

BCS Journals BCS Journals

Oxford Academic Oxford Academic

Advertisement

Advertisement

Advertisement

About The Computer Journal
Editorial Board
Author Guidelines
About BCS
Facebook

X (formerly Twitter)
Purchase
Recommend to your Library
Advertising and Corporate Services
Journals Career Network

Online ISSN 1460-2067
Print ISSN 0010-4620
Copyright © 2025 British Computer Society

About Oxford Academic
Publish journals with us
University press partners
What we publish
New features

For authors
Open access
Purchasing
Institutional account management
Rights and permissions

Get help with access
Accessibility
Contact us
Advertising
Media enquiries

Oxford University Press
News
Oxford Languages
University of Oxford

Oxford University Press is a department of the University of Oxford. It furthers the University's objective of excellence in research, scholarship, and education by publishing worldwide

Copyright © 2025 Oxford University Press
Cookie policy
Privacy policy
Legal notice

Close

This Feature Is Available To Subscribers Only

Sign In or Create an Account

Close

This PDF is available to Subscribers Only

View Article Abstract & Purchase Options

For full access to this pdf, sign in to an existing account, or purchase an annual subscription.

Close