Works matching IS 00104620 AND DT 2000 AND VI 43 AND IP 3

Results: 7

On the Dilation of Interval Routing.

Published in:

Computer Journal, 2000, v. 43, n. 3, p. 243, doi. 10.1093/comjnl/43.3.243

By:

Gavoille, Cyril

Publication type:

Article

Modular Analysis of Petri Nets.

Published in:

Computer Journal, 2000, v. 43, n. 3, p. 224, doi. 10.1093/comjnl/43.3.224

By:

Christensen, Søren;
Petrucci, Laure

Publication type:

Article

A Recovery Mechanism for Shells.

Published in:

Computer Journal, 2000, v. 43, n. 3, p. 168, doi. 10.1093/comjnl/43.3.168

By:

Holyer, Ian;
Pehlivan, Hüseyin

Publication type:

Article

Counter-clustering for Training Pattern Selection.

Published in:

Computer Journal, 2000, v. 43, n. 3, p. 177, doi. 10.1093/comjnl/43.3.177

By:

Tambouratzis, Tatiana

Publication type:

Article

Formally Verifying Fault Tolerant System Designs.

Published in:

Computer Journal, 2000, v. 43, n. 3, p. 191, doi. 10.1093/comjnl/43.3.191

By:

Bernardeschi, Cinzia;
Fantechi, Alessandro;
Simoncini, Luca

Publication type:

Article

A Fuzzy Petri Net Tool For Modeling and Verification of Knowledge-Based Systems.

Published in:

Computer Journal, 2000, v. 43, n. 3, p. 206, doi. 10.1093/comjnl/43.3.206

By:

Koriem, Samir M.

Publication type:

Article

Editorial.

Published in:

Computer Journal, 2000, v. 43, n. 3, p. 167, doi. 10.1093/comjnl/43.3.167

By:

van Rijsbergen, Keith

Publication type:

Article