Between Dec 19, 2024 and Jan 2, 2025, datasets can be submitted to DRUM but will not be processed until after the break. Staff will not be available to answer email during this period, and will not be able to provide DOIs until after Jan 2. If you are in need of a DOI during this period, consider Dryad or OpenICPSR. Submission responses to the UDC may also be delayed during this time.

Statistics for Model Checking Requirements Specifications Using Domain Reduction Abstraction

Total visits

views
Model Checking Requirements Specifications Using Domain Reduction Abstraction 16

Total visits per month

views
June 2024 0
July 2024 0
August 2024 0
September 2024 0
October 2024 0
November 2024 0
December 2024 0

File Visits

views
choi-ase-03.pdf 16

Top country views

views
United States 8
China 3
Ireland 2
Australia 1
Indonesia 1
Netherlands 1

Top city views

views
Ashburn 3
Dublin 2
Berg en Terblijt 1
Boardman 1
Des Moines 1
Jakarta 1
Minneapolis 1
Sydney 1
Xinxiang 1
Zhengzhou 1