Search
نمایش تعداد 1-10 از 73
A pharmacokinetic model of lopinavir in combination with ritonavir in human
ناشر: IEEE
سال: 2014
Online Verification of Automated Road Vehicles Using Reachability Analysis
ناشر: IEEE
سال: 2014
Local State Space Analysis Leads to Better Partial Order Reduction
ناشر: IEEE
سال: 2014