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

Protocol Specification, T ...

Piotr Dembinski ...

List Price: $ 299.00

Our Price: $ 165.32

The Temporal Logic of Rea ...

Zohar Manna, Am ...

List Price: $ 139.99

Our Price: $ 110.47

Models of Neural Networks ...

Eytan Domany, E ...

List Price: $ 219.99

Our Price: $ 48.99

Coloured Petri Nets Basic ...

Kurt Jensen

List Price: $ 139.99

Our Price: $ 37.59

Spatio-Temporal Pattern F ...

Daniel Walgraef ...

List Price: $ 119.99

Our Price: $ 57.20

Hardware/Software Co-Desi ...

Jean-Michel Ber ...

List Price: $ 279.99

Our Price: $ 177.66

Lectures on Proof Verific ...

Ernst W. Mayr, ...

List Price: $ 69.99

Our Price: $ 54.99

Finite Automata, Formal L ...

Howard Straubin ...

List Price: $ 159.99

Our Price: $ 97.99

Protocol Specification, T ...

S.T. Vuong, Sam ...

List Price: $ 249.00

Our Price: $ 142.63

Spatial and Temporal Reas ...

O. Stock

List Price: $ 219.99

Our Price: $ 142.63