Works (1)

Updated: April 11th, 2023 10:13

2000 chapter

Model checking based on simultaneous reachability analysis

In SPIN model checking and software verification: 7th International SPIN Workshop, Stanford, CA, USA, August 30-Sept. 1, 2000 (Vol. 1885, pp. 34–53). Berlin; New York: Springer.

By: B. Karacali & K. Tai

Source: NC State University Libraries
Added: August 6, 2018

Citation Index includes data from a number of different sources. If you have questions about the sources of data in the Citation Index or need a set of data which is free to re-distribute, please contact us.

Certain data included herein are derived from the Web of Science© and InCites© (2024) of Clarivate Analytics. All rights reserved. You may not copy or re-distribute this material in whole or in part without the prior written consent of Clarivate Analytics.