Results 281 to 281 of about 17,423 (281)
Some of the next articles are maybe not open access.

Linear parametric model checking of timed automata

The Journal of Logic and Algebraic Programming, 2002
exaly  
mathematics
computer science - logic in computer science
f.1.1
verification
previous   27  28  29  

Home - About - Disclaimer - Privacy