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

Coloured Petri Nets Basic ...

Kurt Jensen

List Price: $ 139.99

Our Price: $ 37.51

Hardware/Software Co-Desi ...

Jean-Michel Ber ...

List Price: $ 279.99

Our Price: $ 182.87

The Temporal Logic of Rea ...

Zohar Manna, Am ...

List Price: $ 139.99

Our Price: $ 111.81

Protocol Specification, T ...

S.T. Vuong, Sam ...

List Price: $ 249.00

Our Price: $ 144.44

Spatio-Temporal Pattern F ...

Daniel Walgraef ...

List Price: $ 119.99

Our Price: $ 27.99

Protocol Specification, T ...

Piotr Dembinski ...

List Price: $ 299.00

Our Price: $ 167.53

Models of Neural Networks ...

Eytan Domany, E ...

List Price: $ 219.99

Our Price: $ 48.99

Finite Automata, Formal L ...

Howard Straubin ...

List Price: $ 159.99

Our Price: $ 98.33

Spatial and Temporal Reas ...

O. Stock

List Price: $ 219.99

Our Price: $ 144.44

Lectures on Proof Verific ...

Ernst W. Mayr, ...

List Price: $ 69.99

Our Price: $ 55.48