books search
books
articles search
articles
Donate
Log In
Log In
to access more features
personal recommendations
Telegram Bot
download history
send to Email or Kindle
manage booklists
save to favorites
Personal
Book Requests
Explore
Journals
Contribution
Donate
Litera Library
Donate paper books
Add paper books
Open LITERA Point
Volume 410; Issue 42
Main
Theoretical Computer Science
Volume 410; Issue 42
Theoretical Computer Science
Volume 410; Issue 42
1
Deciding branching time properties for asynchronous programs
Rohit Chadha
,
Mahesh Viswanathan
Journal:
Theoretical Computer Science
Year:
2009
Language:
english
File:
PDF, 780 KB
Your tags:
english, 2009
2
Efficient model checking for LTL with partial order snapshots
Peter Niebert
,
Doron Peled
Journal:
Theoretical Computer Science
Year:
2009
Language:
english
File:
PDF, 631 KB
Your tags:
english, 2009
3
Pedagogical second-order -calculus
Loïc Colson
,
David Michel
Journal:
Theoretical Computer Science
Year:
2009
Language:
english
File:
PDF, 805 KB
Your tags:
english, 2009
4
Meet continuity properties of posets
Xuxin Mao
,
Luoshan Xu
Journal:
Theoretical Computer Science
Year:
2009
Language:
english
File:
PDF, 497 KB
Your tags:
english, 2009
5
On-the-fly model checking for time Petri nets
Rachid Hadjidj
,
Hanifa Boucheneb
Journal:
Theoretical Computer Science
Year:
2009
Language:
english
File:
PDF, 1.74 MB
Your tags:
english, 2009
6
Robustness of temporal logic specifications for continuous-time signals
Georgios E. Fainekos
,
George J. Pappas
Journal:
Theoretical Computer Science
Year:
2009
Language:
english
File:
PDF, 1.94 MB
Your tags:
english, 2009
7
A direct proof of the confluence of combinatory strong reduction
René David
Journal:
Theoretical Computer Science
Year:
2009
Language:
english
File:
PDF, 734 KB
Your tags:
english, 2009
8
Frame rule for mutually recursive procedures manipulating pointers
Viorel Preoteasa
Journal:
Theoretical Computer Science
Year:
2009
Language:
english
File:
PDF, 906 KB
Your tags:
english, 2009
1
Follow
this link
or find "@BotFather" bot on Telegram
2
Send /newbot command
3
Specify a name for your chatbot
4
Choose a username for the bot
5
Copy an entire last message from BotFather and paste it here
×
×