> Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.
Medientyp: E-Artikel Titel: Rigorous State-Based Methods: Transpilation of Petri-nets into B : Shallow and Deep Embeddings : Shallow and Deep Embeddings Beteiligte: Idani, Akram Erschienen: Springer Nature Switzerland, 2024 Erschienen in: Rigorous State-Based Methods (2024), Seite 80-98 Sprache: Englisch DOI: 10.1007/978-3-031-63790-2_5 ISBN: 9783031637902; 9783031637896 ISSN: 0302-9743; 1611-3349 Entstehung: Anmerkungen: