Connecting you to content on EBSCOhost

Works matching IS 00015903 AND DT 2001 AND VI 37 AND IP 11/12

Results: 4

1

Recursion and Petri nets.

Published in:

Acta Informatica, 2001, v. 37, n. 11/12, p. 781, doi. 10.1007/PL00013309

By:

Best, Eike;
Devillers, Raymond;
Koutny, Maciej

Publication type:

Article

2

Labelled transition logic: an outline.

Published in:

Acta Informatica, 2001, v. 37, n. 11/12, p. 831, doi. 10.1007/PL00013308

By:

Astesiano, E.;
Reggio, G.

Publication type:

Article

3

A Markov modulated multi-server queue with negative customers – The MM CPP/GE/c/L G-queue.

Published in:

Acta Informatica, 2001, v. 37, n. 11/12, p. 881, doi. 10.1007/PL00013307

By:

Chakka, Ram;
Harrison, Peter G.

Publication type:

Article

4

Acknowledgement to Referees.

Published in:: Acta Informatica, 2001, v. 37, n. 11/12, p. 921, doi. 10.1007/s002360100068
Publication type:: Article