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

Protocol Specification, T ...

S.T. Vuong, Sam ...

List Price: $ 249.00

Our Price: $ 153.67

Protocol Specification, T ...

Piotr Dembinski ...

List Price: $ 299.00

Our Price: $ 176.82

Coloured Petri Nets Basic ...

Kurt Jensen

List Price: $ 139.99

Our Price: $ 37.68

Spatial and Temporal Reas ...

O. Stock

List Price: $ 219.99

Our Price: $ 153.67

Finite Automata, Formal L ...

Howard Straubin ...

List Price: $ 159.99

Our Price: $ 105.35

Lectures on Proof Verific ...

Ernst W. Mayr, ...

List Price: $ 69.99

Our Price: $ 58.70

The Temporal Logic of Rea ...

Zohar Manna, Am ...

List Price: $ 139.99

Our Price: $ 117.64

Spatio-Temporal Pattern F ...

Daniel Walgraef ...

List Price: $ 119.99

Our Price: $ 28.19

Models of Neural Networks ...

Eytan Domany, E ...

List Price: $ 219.99

Our Price: $ 49.22

Hardware/Software Co-Desi ...

Jean-Michel Ber ...

List Price: $ 279.99

Our Price: $ 195.25