Some Verification Problems with Possible Transport Applications
From MaRDI portal
Publication:3196285
DOI10.1007/978-3-540-77362-7_7zbMath1323.78009OpenAlexW4239316705MaRDI QIDQ3196285
No author found.
Publication date: 29 October 2015
Published in: Lecture Notes in Computational Science and Engineering (Search for Journal in Brave)
Full work available at URL: https://digital.library.unt.edu/ark:/67531/metadc868320/
Lua error in Module:PublicationMSCList at line 37: attempt to index local 'msc_result' (a nil value).
Cites Work
This page was built for publication: Some Verification Problems with Possible Transport Applications