InhaltsangabeSystem specification and refinement in temporal logic.- Fixed points of Büchi automa...
InhaltsangabeSome observations about the nature of computer science.- Essential intersection type...
This book constitutes the refereed proceedings of the 10th International Conference on Informatio...
Access control for a collaborative business environment not only needs to manage resources of ind...
This book constitutes the refereed proceedings of the 13th International Conference on Informatio...
This book constitutes the proceedings of the 17th International Conference on Information Systems...
This book constitutes the proceedings of the 5th International Conference on Blockchain, ICBC 202...
This book constitutes the refereed proceedings of the18th International Conference on Information...