Jump to main content

yr 〜
yr

Search results 3

Principles of Security and Trust: 7th International Conference, POST 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14-20, 2018, Proceedings

Principles of Security and Trust: 7th International Conference, POST 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14-20, 2018, Proceedings
Digital電子書籍・電子雑誌図書
2018
Available onlineNational Diet Library
  • Author HeadingBauer Ralf Küsters Küsters, Ralf

Non-standard inferences in description logics

Non-standard inferences in description logics
Paper図書
Ralf KüstersSpringerc2001
Other Libraries in Japan
  • Author HeadingKüsters, Ralf

FMSE '05 : proceedings of the 2005 ACM workshop on formal methods in security engineering : November 11, 2005, Fairfax, Virginia, USA : co-located with CCS 2005

FMSE '05 : proceedings of the 2005 ACM workshop on formal methods in security engineering : November 11, 2005, Fairfax, Virginia, USA : co-located with CCS 2005
Paper図書
Ralf Küsters & John Mitchell, editors ; sponsored by ACM Special Interest Group on Security, Audit & Control (SIGSAC)ACM pressc2005
Other Libraries in Japan
  • Author Heading...ty Engineering Küsters, Ralf Mitchell, John C. Association...

Reached to the end of result.

RSS