Stop the war!
Остановите войну!
for scientists:
default search action
Search dblp for Publications
export results for "improved construction time"
@inproceedings{DBLP:conf/fira/Wei09, author = {Yi Wei}, title = {An Improved Method for Real-Time 3D Construction of {DTM}}, booktitle = {{FIRA}}, series = {Lecture Notes in Computer Science}, volume = {5744}, pages = {272--281}, publisher = {Springer}, year = {2009} }
@inproceedings{DBLP:conf/cav/Geilen03, author = {Marc Geilen}, title = {An Improved On-The-Fly Tableau Construction for a Real-Time Temporal Logic}, booktitle = {{CAV}}, series = {Lecture Notes in Computer Science}, volume = {2725}, pages = {394--406}, publisher = {Springer}, year = {2003} }
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.