@misc{Perhac_Jan_Between, author={Perhac Jan and Mihalui Daniel and Novitzka Valerie}, howpublished={online}, publisher={Wydaw. Politechniki Częstochowskiej}, language={eng}, type={artykuł}, title={Between syntax and semantics of resource oriented logic for IDSbehavior description}, keywords={intrusion detection system, linear logic, Kripke's semantics, ludics}, }