Formal Foundations for Controlled Stochastic Activity Networks | Paper Citation Record

Observation 93589b95-f6d9-4cde-8393-e7d8173099bf · outbound

This paper cites an unresolved cited work.

Formal Foundations for Controlled Stochastic Activity Networks Unresolved cited work

Reference 1

Resolution: verified exact; doi, observed 2026-08-03T22:03:25.947995Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.

Observation 82ecb802-5b40-4182-b60e-f6d1ac115146 · outbound

This paper cites Lamport, Proving the Correctness of Multiprocess Programs, IEEE Transactions on Software Engineering SE-3 (2) (1977) 125–143.doi: 10.1109/TSE.1977.229904.

Formal Foundations for Controlled Stochastic Activity Networks Lamport, Proving the Correctness of Multiprocess Programs, IEEE Transactions on Software Engineering SE-3 (2) (1977) 125–143.doi: 10.1109/TSE.1977.229904

Reference 2

Resolution: unresolved; no resolver link, observed 2026-08-03T22:03:15.456679Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation fc738e48-5f18-40d1-beb3-0ddab7990e0a · outbound

This paper cites Newcombe, T.

Formal Foundations for Controlled Stochastic Activity Networks Newcombe, T

Reference 3

Resolution: unresolved; no resolver link, observed 2026-08-03T22:03:15.497401Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 04d8ab3e-53d3-4c3f-8b2e-962081058b73 · outbound

This paper cites Woodcock, P.

Formal Foundations for Controlled Stochastic Activity Networks Woodcock, P

Reference 4

Resolution: unresolved; no resolver link, observed 2026-08-03T22:03:15.566151Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation d4a41396-c773-4d27-a22c-2c2197b19da5 · outbound

This paper cites an unresolved cited work.

Formal Foundations for Controlled Stochastic Activity Networks Unresolved cited work

Reference 5

Resolution: verified exact; doi, observed 2026-08-03T22:03:25.628395Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.

Observation 2b70d7ed-b187-4f7c-80c4-b9908ac4e49f · outbound

This paper cites Sipser, Introduction to the Theory of Computation, 3rd Edition, Cengage Learning, 2013.

Formal Foundations for Controlled Stochastic Activity Networks Sipser, Introduction to the Theory of Computation, 3rd Edition, Cengage Learning, 2013

Reference 6

Resolution: unresolved; no resolver link, observed 2026-08-03T22:03:15.767065Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 3dd25172-6944-4f90-b612-ab8113f0b019 · outbound

This paper cites an unresolved cited work.

Formal Foundations for Controlled Stochastic Activity Networks Unresolved cited work

Reference 7

Resolution: unresolved; no resolver link, observed 2026-08-03T22:03:15.935245Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 0c23e718-3d29-434f-9908-73842c45fd03 · outbound

This paper cites Peterson, Petri Nets Theory and the Modeling of Systems, Prentice- Hall Inc., Englewood Cliffs, 1981.

Formal Foundations for Controlled Stochastic Activity Networks Peterson, Petri Nets Theory and the Modeling of Systems, Prentice- Hall Inc., Englewood Cliffs, 1981

Reference 8

Resolution: unresolved; no resolver link, observed 2026-08-03T22:03:16.022994Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation d0034a7c-6864-45d7-b777-3feb8d9cb25a · outbound

This paper cites Hillston, A Compositional Approach to Performance Modelling, Cam- bridge University Press, 1996.doi:10.1017/CBO9780511564324.

Formal Foundations for Controlled Stochastic Activity Networks Hillston, A Compositional Approach to Performance Modelling, Cam- bridge University Press, 1996.doi:10.1017/CBO9780511564324

Reference 9

Resolution: verified exact; doi, observed 2026-08-03T22:03:25.395321Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.

Observation bd2f0be8-4a3f-4c63-867a-bc7385f9fcdc · outbound

This paper cites Hermanns, Interactive Markov Chains, Vol.

Formal Foundations for Controlled Stochastic Activity Networks Hermanns, Interactive Markov Chains, Vol

Reference 10

Resolution: verified exact; doi, observed 2026-08-03T22:03:24.975461Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.

Observation fce3d600-f90d-48c9-9f7d-fc5af0081fee · outbound

This paper cites Movaghar, J.

Formal Foundations for Controlled Stochastic Activity Networks Movaghar, J

Reference 11

Resolution: unresolved; no resolver link, observed 2026-08-03T22:03:16.284657Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation ec4f4796-1d2a-45ef-9fde-a21299b0c62d · outbound

This paper cites an unresolved cited work.

Formal Foundations for Controlled Stochastic Activity Networks Unresolved cited work

Reference 12

Resolution: unresolved; no resolver link, observed 2026-08-03T22:03:16.365444Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation ca125270-3f18-4efc-8e89-06d0bac460f4 · outbound

This paper cites Movaghar, Stochastic Activity Networks: A New Definition and Some Properties, Scientia Iranica 8 (4) (2001).

Formal Foundations for Controlled Stochastic Activity Networks Movaghar, Stochastic Activity Networks: A New Definition and Some Properties, Scientia Iranica 8 (4) (2001)

Reference 13

Resolution: unresolved; no resolver link, observed 2026-08-03T22:03:16.483686Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 0369984c-5c2b-47b4-9c01-c8166b64e4fa · outbound

This paper cites Milner, Communication and Concurrency, Prentice-Hall International, UK, 1989.

Formal Foundations for Controlled Stochastic Activity Networks Milner, Communication and Concurrency, Prentice-Hall International, UK, 1989

Reference 14

Resolution: unresolved; no resolver link, observed 2026-08-03T22:03:16.663600Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 8f515ca6-56ff-43a7-b007-c58ee54a445f · outbound

This paper cites Baier, J.-P.

Formal Foundations for Controlled Stochastic Activity Networks Baier, J.-P

Reference 15

Resolution: unresolved; no resolver link, observed 2026-08-03T22:03:16.724329Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation b3a82cd9-31ec-41fa-92bb-067be5c1d621 · outbound

This paper cites an unresolved cited work.

Formal Foundations for Controlled Stochastic Activity Networks Unresolved cited work

Reference 16

Resolution: unresolved; no resolver link, observed 2026-08-03T22:03:16.779405Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 3e15af4e-aaaf-42e5-856d-db67b01026d9 · outbound

This paper cites an unresolved cited work.

Formal Foundations for Controlled Stochastic Activity Networks Unresolved cited work

Reference 17

Resolution: unresolved; no resolver link, observed 2026-08-03T22:03:16.865615Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 27ceb723-479f-4ccc-90c5-e8247c89e236 · outbound

This paper cites an unresolved cited work.

Formal Foundations for Controlled Stochastic Activity Networks Unresolved cited work

Reference 18

Resolution: unresolved; no resolver link, observed 2026-08-03T22:03:16.946579Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation de5c6ca3-2c57-4ad0-8cc4-1fba9edcb1c2 · outbound

This paper cites Matthes, Zur Theorie der Bedienungsprozesse, in: Trans.

Formal Foundations for Controlled Stochastic Activity Networks Matthes, Zur Theorie der Bedienungsprozesse, in: Trans

Reference 19

Resolution: unresolved; no resolver link, observed 2026-08-03T22:03:17.009192Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 242c11be-98de-4253-a15b-6c0e48ec6201 · outbound

This paper cites Schassberger, Insensitivity of Steady-State Distributions of General- ized Semi-Markov Processes with Speeds, Adv.

Formal Foundations for Controlled Stochastic Activity Networks Schassberger, Insensitivity of Steady-State Distributions of General- ized Semi-Markov Processes with Speeds, Adv

Reference 20

Resolution: unresolved; no resolver link, observed 2026-08-03T22:03:17.056871Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation a71e1c63-29a5-4a96-b3ee-8b96afdaacfd · outbound

This paper cites an unresolved cited work.

Formal Foundations for Controlled Stochastic Activity Networks Unresolved cited work

Reference 21

Resolution: unresolved; no resolver link, observed 2026-08-03T22:03:17.101326Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 492d3600-ba21-4bcb-a182-1cd0118c0fd2 · outbound

This paper cites an unresolved cited work.

Formal Foundations for Controlled Stochastic Activity Networks Unresolved cited work

Reference 22

Resolution: unresolved; no resolver link, observed 2026-08-03T22:03:17.144618Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 76209b46-13d2-42ef-b6d3-39dc6c8c2eae · outbound

This paper cites Pnueli, R.

Formal Foundations for Controlled Stochastic Activity Networks Pnueli, R

Reference 23

Resolution: unresolved; no resolver link, observed 2026-08-03T22:03:17.254044Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 6b9c0fdf-e616-458f-b925-738fe106b36d · outbound

This paper cites Segala, Modeling and Verification of Randomized Distributed Real- Time Systems, Ph.D.

Formal Foundations for Controlled Stochastic Activity Networks Segala, Modeling and Verification of Randomized Distributed Real- Time Systems, Ph.D

Reference 24

Resolution: unresolved; no resolver link, observed 2026-08-03T22:03:17.370574Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 79040095-2886-4aca-b2b9-7272d3b3215a · outbound

This paper cites Thomas, Automata on Infinite Objects, Handbook of Theoretical Computer Science, Volume B: Formal Models and Semantics (1990) 133–191.

Formal Foundations for Controlled Stochastic Activity Networks Thomas, Automata on Infinite Objects, Handbook of Theoretical Computer Science, Volume B: Formal Models and Semantics (1990) 133–191

Reference 25

Resolution: unresolved; no resolver link, observed 2026-08-03T22:03:17.549020Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation b5860378-7591-4290-b4f4-bcf819cf628d · outbound

This paper cites an unresolved cited work.

Formal Foundations for Controlled Stochastic Activity Networks Unresolved cited work

Reference 26

Resolution: unresolved; no resolver link, observed 2026-08-03T22:03:17.747065Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation f7d46be2-d48b-4900-a914-2753c774bfc8 · outbound

This paper cites an unresolved cited work.

Formal Foundations for Controlled Stochastic Activity Networks Unresolved cited work

Reference 27

Resolution: unresolved; no resolver link, observed 2026-08-03T22:03:17.825057Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 7bc26a2b-06d1-41f2-87ec-9a9e66d78d43 · outbound

This paper cites Brázdil, J.

Formal Foundations for Controlled Stochastic Activity Networks Brázdil, J

Reference 28

Resolution: unresolved; no resolver link, observed 2026-08-03T22:03:17.928757Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation cabde0e7-4b22-4d76-9494-b534b3e3a832 · outbound

This paper cites Etessami, M.

Formal Foundations for Controlled Stochastic Activity Networks Etessami, M

Reference 29

Resolution: unresolved; no resolver link, observed 2026-08-03T22:03:18.084425Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation ce6cc78c-0b2c-4eac-8708-e60132bf7e77 · outbound

This paper cites Etessami, M.

Formal Foundations for Controlled Stochastic Activity Networks Etessami, M

Reference 30

Resolution: unresolved; no resolver link, observed 2026-08-03T22:03:18.233362Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 3eb8685a-56e4-4852-940f-e4a457f6dc7b · outbound

This paper cites Esparza, S.

Formal Foundations for Controlled Stochastic Activity Networks Esparza, S

Reference 31

Resolution: unresolved; no resolver link, observed 2026-08-03T22:03:18.385845Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 34abe28b-78ae-45a8-88a1-e1eefc9fcd8d · outbound

This paper cites an unresolved cited work.

Formal Foundations for Controlled Stochastic Activity Networks Unresolved cited work

Reference 32

Resolution: unresolved; no resolver link, observed 2026-08-03T22:03:18.544462Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation ad846aa6-30d1-46b6-8443-25c9c0ee1283 · outbound

This paper cites Kwiatkowska, G.

Formal Foundations for Controlled Stochastic Activity Networks Kwiatkowska, G

Reference 33

Resolution: unresolved; no resolver link, observed 2026-08-03T22:03:18.699002Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation f58936fb-b439-429f-b502-0a7baecc6297 · outbound

This paper cites an unresolved cited work.

Formal Foundations for Controlled Stochastic Activity Networks Unresolved cited work

Reference 34

Resolution: unresolved; no resolver link, observed 2026-08-03T22:03:18.772897Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 558a31cd-46a2-40b2-9a2f-54ce742d3e5f · outbound

This paper cites Dehnert, S.

Formal Foundations for Controlled Stochastic Activity Networks Dehnert, S

Reference 35

Resolution: unresolved; no resolver link, observed 2026-08-03T22:03:18.935332Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 8e201696-3dc6-44dd-875a-5a9a1401f4c0 · outbound

This paper cites Lagrangian Decomposition for Neural Network Verification.

Formal Foundations for Controlled Stochastic Activity Networks Lagrangian Decomposition for Neural Network Verification

Reference 36

Resolution: unresolved; no resolver link, observed 2026-08-03T22:03:19.127917Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation bbffad13-5394-4fbd-8174-3873adf01d08 · outbound

This paper cites Hack, Decidability Questions for Petri Nets, Ph.D.

Formal Foundations for Controlled Stochastic Activity Networks Hack, Decidability Questions for Petri Nets, Ph.D

Reference 37

Resolution: unresolved; no resolver link, observed 2026-08-03T22:03:19.336708Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 616df906-e608-472d-b16a-e2be210d36c2 · outbound

This paper cites an unresolved cited work.

Formal Foundations for Controlled Stochastic Activity Networks Unresolved cited work

Reference 38

Resolution: unresolved; no resolver link, observed 2026-08-03T22:03:19.422475Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation dd399d43-f38f-405f-92da-1868644fc674 · outbound

This paper cites an unresolved cited work.

Formal Foundations for Controlled Stochastic Activity Networks Unresolved cited work

Reference 39

Resolution: unresolved; no resolver link, observed 2026-08-03T22:03:19.556933Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 1bddac81-ca36-4db6-aca0-2e0ad234f55d · outbound

This paper cites an unresolved cited work.

Formal Foundations for Controlled Stochastic Activity Networks Unresolved cited work

Reference 40

Resolution: unresolved; no resolver link, observed 2026-08-03T22:03:19.702230Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 9b9a4254-f069-4263-8b14-9b31d4308dce · outbound

This paper cites McNaughton, Testing and generating infinite sequences by a finite automaton, Information and Control 9 (5) (1966) 521–530.

Formal Foundations for Controlled Stochastic Activity Networks McNaughton, Testing and generating infinite sequences by a finite automaton, Information and Control 9 (5) (1966) 521–530

Reference 41

Resolution: unresolved; no resolver link, observed 2026-08-03T22:03:19.865392Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 6ace8ef0-4d52-4f45-9d54-ad3ff21d73df · outbound

This paper cites an unresolved cited work.

Formal Foundations for Controlled Stochastic Activity Networks Unresolved cited work

Reference 42

Resolution: unresolved; no resolver link, observed 2026-08-03T22:03:19.976898Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 777a0a1f-1d39-4b95-8211-efea96ff3865 · outbound

This paper cites Staiger, ω-Languages, Handbook of Formal Languages, Volume 3: Beyond Words (1997) 339–387.

Formal Foundations for Controlled Stochastic Activity Networks Staiger, ω-Languages, Handbook of Formal Languages, Volume 3: Beyond Words (1997) 339–387

Reference 43

Resolution: unresolved; no resolver link, observed 2026-08-03T22:03:20.057718Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation c65dc5b6-ea11-4ae8-bd9b-38ba409c2a5d · outbound

This paper cites an unresolved cited work.

Formal Foundations for Controlled Stochastic Activity Networks Unresolved cited work

Reference 44

Resolution: unresolved; no resolver link, observed 2026-08-03T22:03:20.190161Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation fc34da5e-1b4b-4554-a988-2d1d7d79e00e · outbound

This paper cites an unresolved cited work.

Formal Foundations for Controlled Stochastic Activity Networks Unresolved cited work

Reference 45

Resolution: malformed identifier; no resolver link, observed 2026-08-03T22:03:20.303367Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 88bcec46-ae02-46f0-abe9-4c34e218327f · outbound

This paper cites an unresolved cited work.

Formal Foundations for Controlled Stochastic Activity Networks Unresolved cited work

Reference 46

Resolution: unresolved; no resolver link, observed 2026-08-03T22:03:20.360675Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation bbee86c9-bb9d-4b15-9fdd-6f8ba102bc15 · outbound

This paper cites Safra, On the Complexity ofω-Automata, in: 29th Annual Symposium on Foundations of Computer Science (FOCS), IEEE, 1988, pp.

Formal Foundations for Controlled Stochastic Activity Networks Safra, On the Complexity ofω-Automata, in: 29th Annual Symposium on Foundations of Computer Science (FOCS), IEEE, 1988, pp

Reference 47

Resolution: unresolved; no resolver link, observed 2026-08-03T22:03:20.430857Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 3ad009d2-fb89-4343-ab8e-fc535badcb2d · outbound

This paper cites Francez, A.

Formal Foundations for Controlled Stochastic Activity Networks Francez, A

Reference 48

Resolution: unresolved; no resolver link, observed 2026-08-03T22:03:20.473015Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 2fc14424-aba3-4e45-9cc4-926c230ca745 · outbound

This paper cites an unresolved cited work.

Formal Foundations for Controlled Stochastic Activity Networks Unresolved cited work

Reference 49

Resolution: unresolved; no resolver link, observed 2026-08-03T22:03:20.510185Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation a4df6afa-a385-43c8-9930-4cff72624aa2 · outbound

This paper cites Landweber, Decision problems forω-automata, Mathemati- cal Systems Theory 3 (4) (1969) 376–384.

Formal Foundations for Controlled Stochastic Activity Networks Landweber, Decision problems forω-automata, Mathemati- cal Systems Theory 3 (4) (1969) 376–384

Reference 50

Resolution: unresolved; no resolver link, observed 2026-08-03T22:03:20.518479Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation b2e15cdc-cc0b-4306-ab27-1afe793755a5 · outbound

This paper cites an unresolved cited work.

Formal Foundations for Controlled Stochastic Activity Networks Unresolved cited work

Reference 51

Resolution: unresolved; no resolver link, observed 2026-08-03T22:03:20.552811Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 65c1247e-61a2-46fa-8e3b-978471c858fe · outbound

This paper cites Esparza, D.

Formal Foundations for Controlled Stochastic Activity Networks Esparza, D

Reference 52

Resolution: unresolved; no resolver link, observed 2026-08-03T22:03:20.596854Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 808cbae9-1955-4c41-ba2e-1bf470a07d44 · outbound

This paper cites Walukiewicz, Pushdown Processes: Games and Model Checking, in: Computer Aided Verification (CAV 2001), Vol.

Formal Foundations for Controlled Stochastic Activity Networks Walukiewicz, Pushdown Processes: Games and Model Checking, in: Computer Aided Verification (CAV 2001), Vol

Reference 53

Resolution: unresolved; no resolver link, observed 2026-08-03T22:03:20.634387Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 64dea827-1c11-4776-aca4-7f149b0372f7 · outbound

This paper cites Bouajjani, J.

Formal Foundations for Controlled Stochastic Activity Networks Bouajjani, J

Reference 54

Resolution: verified exact; doi, observed 2026-08-03T22:09:20.689218Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.

Observation 5e77fdf6-fb66-487b-b941-4db059a9f3e8 · outbound

This paper cites an unresolved cited work.

Formal Foundations for Controlled Stochastic Activity Networks Unresolved cited work

Reference 55

Resolution: unresolved; no resolver link, observed 2026-08-03T22:03:20.806705Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 401b4af6-a975-43a8-8242-3be2440c0a3e · outbound

This paper cites an unresolved cited work.

Formal Foundations for Controlled Stochastic Activity Networks Unresolved cited work

Reference 56

Resolution: unresolved; no resolver link, observed 2026-08-03T22:03:20.870192Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 4b311c77-36a7-4966-a531-7373941ecdf7 · outbound

This paper cites Paz, Introduction to Probabilistic Automata, Academic Press, 1971.

Formal Foundations for Controlled Stochastic Activity Networks Paz, Introduction to Probabilistic Automata, Academic Press, 1971

Reference 57

Resolution: unresolved; no resolver link, observed 2026-08-03T22:03:21.019008Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation de22b61b-1e54-4e70-966d-3607acb88696 · outbound

This paper cites Madani, S.

Formal Foundations for Controlled Stochastic Activity Networks Madani, S

Reference 58

Resolution: unresolved; no resolver link, observed 2026-08-03T22:03:21.062472Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 0bf4c7c6-8712-467b-be57-53b09fcab82e · outbound

This paper cites Billingsley, Probability and Measure, 3rd Edition, John Wiley & Sons, New York, 1995.

Formal Foundations for Controlled Stochastic Activity Networks Billingsley, Probability and Measure, 3rd Edition, John Wiley & Sons, New York, 1995

Reference 59

Resolution: unresolved; no resolver link, observed 2026-08-03T22:03:21.185696Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 2d7a14a5-e07b-4364-b2ee-151b3de7ab23 · outbound

This paper cites an unresolved cited work.

Formal Foundations for Controlled Stochastic Activity Networks Unresolved cited work

Reference 60

Resolution: unresolved; no resolver link, observed 2026-08-03T22:03:21.249177Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 7ca20716-b4ad-454d-bf19-e2a1309c1c51 · outbound

This paper cites Baier, M.

Formal Foundations for Controlled Stochastic Activity Networks Baier, M

Reference 61

Resolution: unresolved; no resolver link, observed 2026-08-03T22:03:21.434445Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation cfe3131c-c981-4ec7-a33d-701827af766d · outbound

This paper cites Courcoubetis, M.

Formal Foundations for Controlled Stochastic Activity Networks Courcoubetis, M

Reference 62

Resolution: unresolved; no resolver link, observed 2026-08-03T22:03:21.596887Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation d19b569e-1ef0-4147-8285-7f721f65c005 · outbound

This paper cites an unresolved cited work.

Formal Foundations for Controlled Stochastic Activity Networks Unresolved cited work

Reference 63

Resolution: unresolved; no resolver link, observed 2026-08-03T22:03:21.727857Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 9b4813af-d3c2-44dc-ba40-179ebf191c36 · outbound

This paper cites an unresolved cited work.

Formal Foundations for Controlled Stochastic Activity Networks Unresolved cited work

Reference 64

Resolution: unresolved; no resolver link, observed 2026-08-03T22:03:21.821219Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation e66c80f9-8126-4b1b-8779-7ea7aa9d7151 · outbound

This paper cites Hernández-Lerma, J.

Formal Foundations for Controlled Stochastic Activity Networks Hernández-Lerma, J

Reference 65

Resolution: unresolved; no resolver link, observed 2026-08-03T22:03:21.889224Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 091b0561-92d5-445b-9bac-56dbc1efd39c · outbound

This paper cites an unresolved cited work.

Formal Foundations for Controlled Stochastic Activity Networks Unresolved cited work

Reference 66

Resolution: unresolved; no resolver link, observed 2026-08-03T22:03:21.987326Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 147b815b-c9af-427f-a507-80005545516e · outbound

This paper cites an unresolved cited work.

Formal Foundations for Controlled Stochastic Activity Networks Unresolved cited work

Reference 67

Resolution: unresolved; no resolver link, observed 2026-08-03T22:03:22.057301Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation e4ce2b5d-7eab-45f4-b589-f9a5de2fd39b · outbound

This paper cites an unresolved cited work.

Formal Foundations for Controlled Stochastic Activity Networks Unresolved cited work

Reference 68

Resolution: unresolved; no resolver link, observed 2026-08-03T22:03:22.119663Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 5b252799-5946-4c4c-8842-4d9e90da3206 · outbound

This paper cites Lattimore, M.

Formal Foundations for Controlled Stochastic Activity Networks Lattimore, M

Reference 69

Resolution: unresolved; no resolver link, observed 2026-08-03T22:03:22.193839Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation f41ddf96-021b-4920-af9c-77f74a8cfecd · outbound

This paper cites an unresolved cited work.

Formal Foundations for Controlled Stochastic Activity Networks Unresolved cited work

Reference 70

Resolution: unresolved; no resolver link, observed 2026-08-03T22:03:22.254782Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 5357ecdb-06b7-4c53-a6eb-2a795029ecaf · outbound

This paper cites Shepardson, H.

Formal Foundations for Controlled Stochastic Activity Networks Shepardson, H

Reference 71

Resolution: unresolved; no resolver link, observed 2026-08-03T22:03:22.406004Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation d2fa3260-ffd5-4f51-9a6f-707753e189d2 · outbound

This paper cites inhibitor.

Formal Foundations for Controlled Stochastic Activity Networks inhibitor

Reference 72

Resolution: unresolved; no resolver link, observed 2026-08-03T22:03:22.539820Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Coverage vector

Reference resolution

Outbound references

Pith citing papers