Showing 1 - 12 results of 12 for search 'Ciardo, Gianfranco', query time: 0.04s Refine Results
  1. 1
    Efficient symbolic state-space construction for asynchronous systems

    Efficient symbolic state-space construction for asynchronous systems by Ciardo, Gianfranco

    Published 1999
    Click here to view full record online
    Government Document Microfilm Book
    Save to List
    Saved in:
  2. 2
    On the minimum of independent geometrically distributed random variables

    On the minimum of independent geometrically distributed random variables by Ciardo, Gianfranco

    Published 1994
    Government Document Microfilm Book
    Save to List
    Saved in:
  3. 3
    Distributed state-space generation of discrete-state stochastic models

    Distributed state-space generation of discrete-state stochastic models by Ciardo, Gianfranco

    Published 1995
    Government Document Microfilm Book
    Save to List
    Saved in:
  4. 4
    Discrete-time Markovian stochastic Petri nets

    Discrete-time Markovian stochastic Petri nets by Ciardo, Gianfranco

    Published 1995
    Government Document Microfilm Book
    Save to List
    Saved in:
  5. 5
    Storage alternatives for large structured state spaces

    Storage alternatives for large structured state spaces by Ciardo, Gianfranco

    Published 1997
    Government Document Microfilm Book
    Save to List
    Saved in:
  6. 6
    Discrete-event simulation of fluid stochastic Petri nets

    Discrete-event simulation of fluid stochastic Petri nets by Ciardo, Gianfranco

    Published 1997
    Government Document Microfilm Book
    Save to List
    Saved in:
  7. 7
    Parametric state space structuring

    Parametric state space structuring by Ciardo, Gianfranco

    Published 1997
    Government Document Microfilm Book
    Save to List
    Saved in:
  8. 8
    Automated parallelization of discrete state-space generation

    Automated parallelization of discrete state-space generation by Nicol, David M.

    Published 2000
    Other Authors: “…Ciardo, Gianfranco…”
    Connect to online resource
    Click here to view full text online
    Government Document Microfilm Book
    Save to List
    Saved in:
  9. 9
    Discrete deterministic and stochastic Petri nets

    Discrete deterministic and stochastic Petri nets by Zijal, Robert

    Published 1996
    Other Authors: “…Ciardo, Gianfranco…”
    Government Document Microfilm Book
    Save to List
    Saved in:
  10. 10
    Application and theory of petri nets and concurrency : 35th International Conference, PETRI NETS 2014, Tunis, Tunisia, June 23-27, 2014 : proceedings /

    Application and theory of petri nets and concurrency : 35th International Conference, PETRI NETS 2014, Tunis, Tunisia, June 23-27, 2014 : proceedings /

    Published 2014
    Other Authors: “…Ciardo, Gianfranco…”
    Full Text (via Springer)
    Conference Proceeding eBook
    Save to List
    Saved in:
  11. 11
    Applications and theory of Petri nets 2005 26th international conference, ICATPN 2005, Miami, USA, June 20-25, 2005 : proceedings /

    Applications and theory of Petri nets 2005 26th international conference, ICATPN 2005, Miami, USA, June 20-25, 2005 : proceedings /

    Published 2005
    Other Authors: “…Ciardo, Gianfranco…”
    Full Text (via Springer)
    Electronic Conference Proceeding eBook
    Save to List
    Saved in:
  12. 12
    Transactions on petri nets and other models of concurrency XVII /

    Transactions on petri nets and other models of concurrency XVII /

    Published 2024
    Other Authors:
    Full Text (via Springer)
    eBook
    Save to List
    Saved in:
Search Tools: RSS Feed – Save Search