[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

Re: [tlaplus] Re: How to read the graph generated by TLC? Is there a way to specify its location?

From: fl <freder...@xxxxxxxxxxx>
Date: Fri, 18 Dec 2015 04:59:41 -0800 (PST)
References: <ecefd61d-8fc5-45ea-aeab-93226c8c72e4@googlegroups.com> <4418eaf0-1c9a-4501-adb9-c46f44a4fab2@googlegroups.com> <5246003F.5080407@lemmster.de> <105f6f51-70b1-44f2-9c61-35ed42935ca4@googlegroups.com> <56718B96.9000405@lemmster.de> <f6f41275-e570-4e16-9240-50519b4ac35c@googlegroups.com> <c15dc7f8-ec94-44a9-b717-b5855d6d3b1e@googlegroups.com> <D404EDB0-A79E-4974-AD96-999763A5752D@cs.uni-duesseldorf.de>

I can publish some of the state space visualizations for TLC models on a website if you are interested (the size of the generated PDFs get larger; so I am not inclined to post them here on the mailing list).

Hi Michael,

yes do that so that we can see the result.

Follow-Ups:
- Re: [tlaplus] Re: How to read the graph generated by TLC? Is there a way to specify its location?
  - From: Michael Leuschel

References:
- How to read the graph generated by TLC? Is there a way to specify its location?
  - From: Ouiza
- Re: How to read the graph generated by TLC? Is there a way to specify its location?
  - From: Amira Methni
- Re: [tlaplus] Re: How to read the graph generated by TLC? Is there a way to specify its location?
  - From: Markus Alexander Kuppe
- Re: [tlaplus] Re: How to read the graph generated by TLC? Is there a way to specify its location?
  - From: fl
- Re: [tlaplus] Re: How to read the graph generated by TLC? Is there a way to specify its location?
  - From: Markus Alexander Kuppe
- Re: [tlaplus] Re: How to read the graph generated by TLC? Is there a way to specify its location?
  - From: fl
- Re: [tlaplus] Re: How to read the graph generated by TLC? Is there a way to specify its location?
  - From: fl
- Re: [tlaplus] Re: How to read the graph generated by TLC? Is there a way to specify its location?
  - From: Michael Leuschel

Prev by Date: Re: [tlaplus] Re: How to read the graph generated by TLC? Is there a way to specify its location?
Next by Date: Re: [tlaplus] Re: How to read the graph generated by TLC? Is there a way to specify its location?
Previous by thread: Re: [tlaplus] Re: How to read the graph generated by TLC? Is there a way to specify its location?
Next by thread: Re: [tlaplus] Re: How to read the graph generated by TLC? Is there a way to specify its location?
Index(es):
- Date
- Thread