Sort by
Refine Your Search
-
distinctive organizational model in which researchers from a broad range of institutions, including KEK, converge at QUP to pursue common scientific objectives. QUP's principal research activities are conducted
Searches related to model checking
Enter an email to receive alerts for model-checking positions