[Updated on Apr. 18] Integration of CiNii Articles into CiNii Research

Formal Analysis of Workflow Systems with Security Considerations

Bibliographic Information

Title
Formal Analysis of Workflow Systems with Security Considerations
Author
Weiqiang Kong, Kazuhiro Ogata, Kokichi Futatsugi

Journal

Citations (0)*help

See more

References(0)*help

See more

Related Articles

See more

Related Data

See more

Related Books

See more

Related Dissertations

See more

Related Projects

See more

Related Products

See more

Details

  • CRID
    1010000781802278151
  • Article Type
    journal article
  • Data Source
    • KAKEN

Report a problem

Back to top