Your search returned 2 results.

Results
	1.	Networked Systems [electronic resource] : 11th International Conference, NETYS 2023, Benguerir, Morocco, May 22-24, 2023, Proceedings / edited by David Mohaisen, Thomas Wies. by Mohaisen, David [editor.] Wies, Thomas [editor.] Series: Edition: 1st ed. 2023. Material type: Text; Format: electronic ; Literary form: Not fiction Language: English Publication details: Cham : Springer Nature Switzerland : Imprint: Springer, 2023 Online resources: Click Here Availability: Items available for loan: National Library of India (1)Call number: 004.6. Place hold Save to lists
	2.	Verification, Model Checking, and Abstract Interpretation [electronic resource] : 23rd International Conference, VMCAI 2022, Philadelphia, PA, USA, January 16-18, 2022, Proceedings / edited by Bernd Finkbeiner, Thomas Wies. by Finkbeiner, Bernd [editor.] Wies, Thomas [editor.] Series: Theoretical Computer Science and General Issues ; 13182 Edition: 1st ed. 2022. Material type: Text; Format: electronic ; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2022 Online resources: Click Here Availability: Items available for loan: National Library of India (1)Call number: 004.0151. Place hold Save to lists

Refine your search