401 |
Delete Title '"Interactive Systems: Design, Specification, and Verification"' because is not in KBART!
|
"Interactive Systems: Design, Specification, and Verification"
|
Successful
|
Changed Title
|
status
|
Deleted
|
Deleted
|
2024-05-09 20:03
|
2024-05-09 20:03
|
402 |
Delete Title '"Knowledge Acquisition, Modeling and Management"' because is not in KBART!
|
"Knowledge Acquisition, Modeling and Management"
|
Successful
|
Changed Title
|
status
|
Deleted
|
Deleted
|
2024-05-09 20:03
|
2024-05-09 20:03
|
403 |
Delete Title '"Stabilization, Safety, and Security of Distributed Systems"' because is not in KBART!
|
"Stabilization, Safety, and Security of Distributed Systems"
|
Successful
|
Changed Title
|
status
|
Deleted
|
Deleted
|
2024-05-09 20:03
|
2024-05-09 20:03
|
404 |
Delete Title '"Automata, Languages, and Programming"' because is not in KBART!
|
"Automata, Languages, and Programming"
|
Successful
|
Changed Title
|
status
|
Deleted
|
Deleted
|
2024-05-09 20:03
|
2024-05-09 20:03
|
405 |
Delete Title '"Automata, Languages and Programming"' because is not in KBART!
|
"Automata, Languages and Programming"
|
Successful
|
Changed Title
|
status
|
Deleted
|
Deleted
|
2024-05-09 20:03
|
2024-05-09 20:03
|
406 |
Delete Title '"Automata, Languages and Programming"' because is not in KBART!
|
"Automata, Languages and Programming"
|
Successful
|
Changed Title
|
status
|
Deleted
|
Deleted
|
2024-05-09 20:03
|
2024-05-09 20:03
|
407 |
Delete Title '"Automata, Languages and Programming"' because is not in KBART!
|
"Automata, Languages and Programming"
|
Successful
|
Changed Title
|
status
|
Deleted
|
Deleted
|
2024-05-09 20:03
|
2024-05-09 20:03
|
408 |
Delete Title '"Machines, Computations, and Universality"' because is not in KBART!
|
"Machines, Computations, and Universality"
|
Successful
|
Changed Title
|
status
|
Deleted
|
Deleted
|
2024-05-09 20:03
|
2024-05-09 20:03
|
409 |
Delete Title '"Verification, Model Checking, and Abstract Interpretation"' because is not in KBART!
|
"Verification, Model Checking, and Abstract Interpretation"
|
Successful
|
Changed Title
|
status
|
Deleted
|
Deleted
|
2024-05-09 20:03
|
2024-05-09 20:03
|
410 |
Delete Title '"Automata, Languages and Programming"' because is not in KBART!
|
"Automata, Languages and Programming"
|
Successful
|
Changed Title
|
status
|
Deleted
|
Deleted
|
2024-05-09 20:03
|
2024-05-09 20:03
|