Advances in Verification of Time Petri Nets and Timed Automata A Temporal Logic Approach

Spatio-Temporal Pattern F ...

Daniel Walgraef ...

List Price: $ 119.99

Our Price: $ 27.65

Protocol Specification, T ...

Piotr Dembinski ...

List Price: $ 299.00

Our Price: $ 163.99

Protocol Specification, T ...

S.T. Vuong, Sam ...

List Price: $ 249.00

Our Price: $ 141.54

The Temporal Logic of Rea ...

Zohar Manna, Am ...

List Price: $ 139.99

Our Price: $ 109.58

Spatial and Temporal Reas ...

O. Stock

List Price: $ 219.99

Our Price: $ 141.54

Hardware/Software Co-Desi ...

Jean-Michel Ber ...

List Price: $ 279.99

Our Price: $ 179.22

Models of Neural Networks ...

Eytan Domany, E ...

List Price: $ 219.99

Our Price: $ 47.99

Lectures on Proof Verific ...

Ernst W. Mayr, ...

List Price: $ 69.99

Our Price: $ 54.64

Finite Automata, Formal L ...

Howard Straubin ...

List Price: $ 159.99

Our Price: $ 97.27

Coloured Petri Nets Basic ...

Kurt Jensen

List Price: $ 139.99

Our Price: $ 36.84