1
Published 2006
Table of Contents: ...Invited Talks -- Timed Alternating-Time Temporal Logic -- Concurrent Semantics Without the Notions...
View full text
Electronic eBook
2
Published 2007
Table of Contents: ... -- Model-Checking One-Clock Priced Timed Automata -- Approximating a Behavioural Pseudometric Without...
View full text
Electronic eBook
3
Published 2010
Table of Contents: ... Composition Based on Low Cost Mechanism -- Research on Fuzzy Extension Synthesis Evaluation Method...
View full text
Electronic eBook
4
Published 2013
Table of Contents: ... the Sorted-Set Intersection Problem onto a Graphics Processing Unit -- A Novel Double Dynamic Stress...
View full text
Electronic eBook