• 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: